1. SATzilla: Portfolio-based Algorithm Selection for SAT
2. Toniolo A. , Norman T. J. , Etuk A. , Cerutti F. , Ouyang R. W. , Srivastava M. , Oren N. , Dropps T. , Allen J. A. & Sullivan P. 2015. Agent support to reasoning with different types of evidence in intelligence analysis. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 781–789. ACM.
3. Understanding TSP Difficulty by Learning from Evolved Instances
4. Sideris A. & Dimopoulos Y. 2010. Constraint propagation in propositional planning. In Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS), 153–160. AAAI Press.
5. A Multi-engine Solver for Quantified Boolean Formulas