Journal Publications

• Hybrid Modelling for Robust Solving. B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. Annals of Operations Research (to appear), 2004. bibtex

• Models of Permutation and Injection Problems. B. Hnich, B.M. Smith, T. Walsh. Journal of AI Research (JAIR, to appear), 2004. bibtex

Conference Papers

• The Interaction Between Inference and Branching Heuristics. L. Drake, A.M. Frisch. in A. Giunchiglia, A. Tacchella (Eds.), Theory and Applications of Satisfiability Testing: Selected Papers, LNCS 2919 (to appear), 2004. bibtex

• Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. B. Hnich, Z. Kiziltan, T. Walsh. Proceedings of the 8th International Symposium on Artificial Intelligence and Mathematics, 2004. bibtex

• Local Consistencies in SAT. C. Bessiere, E. Hebrard, T. Walsh. Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT), 2003. bibtex

• Constraints for Breaking More Row and Column Symmetries. A.M. Frisch, C. Jefferson, I. Miguel. Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, pp. 318--332, 2003. bibtex

• Multiset Ordering Constraints. A.M. Frisch, I. Miguel, Z. Kiziltan, B. Hnich, T. Walsh. Proceedings of the 18th International Joint Conference on Artificial Intelligence, 2003. bibtex

• Constraint Patterns. T. Walsh. Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, pp. 53-64, 2003. bibtex

• Breaking Row and Column Symmetries in Matrix Models, P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, T. Walsh. Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, pp462-476, LNCS 2470, 2002. bibtex

• Global Constraints for Lexicographic Orderings (pdf), A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, T. Walsh. Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, pp93-108, LNCS 2470, 2002. bibtex

• Constraint Generation via Automated Theory Formation, S. Colton, I. Miguel. Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, pp575-579, LNCS 2239, 2001. bibtex

• Extensions to proof planning for generating implied constraints, A. M. Frisch, I. Miguel, T. Walsh, Proceedings of Calculemus-01, pp130-141, 2001. bibtex

Workshop Papers

• Towards Automatic Modelling of Constraint Satisfaction Problems: A System Based on Compositional Refinement. A. Bakewell, A. M. Frisch, I. Miguel. Proceedings of the 2nd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation, pp 2-17, 2003. bibtex

• Breaking Symmetries in Matrix Models: A Brief Overview. P. Flener, A.M. Frisch, B. Hnich, C.Jefferson, Z.Kiziltan, I. Miguel, J. Pearson, T. Walsh. Proceedings of the 10th Workshop on Automated Reasoning, pp27-28, 2003. bibtex

• Constraints for Breaking All Row and Column Symmetries in a Three-by-Two Matrix. A.M. Frisch, W. Harvey. Proceedings of the 3rd International Workshop on Symmetry in Constraint Satisfaction Problems, 2003. bibtex

• Refining Abstract Specifications of Constraint Satisfaction Problems. A.M. Frisch, I. Miguel, T. Walsh. Proceedings of the 10th Workshop on Automated Reasoning, pp29-31, 2003. bibtex

• Modelling and Solving English Peg Solitaire. C. Jefferson, A. Miguel, I. Miguel, A. Tarim. Proceedings of the Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), pp. 261--275, 2003. Some Ilog Solver code and a PDDL specification can be found here. bibtex

• Automatically Reformulating SAT-Encoded CSPs, L. Drake, A.M. Frisch, I. Gent, T. Walsh. Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, pp18-26, 2002. bibtex

• Automatic Generation of Implied Clauses for SAT. L. Drake, A.M. Frisch, T. Walsh. Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, Doctoral Programme, p. 783, LNCS 2470, 2002. bibtex

• Combining Inference and Search for the Propositional Satisfiability Problem. L. Drake, A.M. Frisch, T. Walsh. Proceedings of the 18th National Conference on Artificial Intelligence, Doctoral Consortium, 2002. bibtex

• Adding Resolution to the DPLL Procedure for Boolean Satisfiability. L. Drake, A.M. Frisch, T. Walsh. Proceedings of the 5th International Symposium on the Theory and Applications of Satisfiability Testing (SAT), 2002. bibtex

• Comparing SAT Preprocessing Techniques. L. Drake, A.M. Frisch, I. Lynce, J.Marques-Silva, T. Walsh. Proceedings of the 9th Workshop on Automated Reasoning. 2002. bibtex

• Matrix Modelling: Exploiting Common Patterns in Constraint Programming, P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, T. Walsh. Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, pp27-41, 2002. bibtex

• Towards Model Reformulation at Multiple Levels of Abstraction, A.M. Frisch, B. Hnich, I. Miguel, B.M. Smith, T. Walsh. Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, pp42-56, 2002. bibtex

• Automatically Transforming Constraint Satisfaction Problems: Further Progress, A. M. Frisch, I. Miguel, T. Walsh. Proceedings of the 9th Workshop on Automated Reasoning, 2002. bibtex

• CGRASS: A System for Transforming Constraint Satisfaction Problems, A. M. Frisch, I. Miguel, T. Walsh. Proceedings of the ERCIM/Colognet Workshop on Constraint Solving and Constraint Logic Programming , LNAI 2627, pp15-30, 2002. bibtex

• Modelling a Balanced Academic Curriculum Problem. B. Hnich, Z. Kiziltan, T. Walsh. Proceedings of the Fourth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), pp. 121--131, 2002. bibtex

• Automatic Generation of Implied Constraints: Initial Progress, S. Colton, L. Drake, A. M. Frisch, I. Miguel and T. Walsh. Proceedings of the 8th Workshop on Automated Reasoning, pp17-18, 2001. bibtex

• Automatic Generation of Implied Clauses for SAT. L. Drake, A.M. Frisch. T. Walsh. Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP), Doctoral Programme, LNCS 2239, p. 761, 2001. bibtex

• Matrix Modelling, P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh. Proceedings of the CP'01 Workshop on Modelling and Problem Formulation, pp1-7, 2001. bibtex

• Symmetry in Matrix Models, P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson and T. Walsh. Proceedings of the CP'01 Workshop on Symmetry in Constraints, pp41-48, 2001. bibtex

• Generating Implied Constraints via Proof Planning, A. M. Frisch, I. Miguel, and T. Walsh. Proceedings of the IJCAR-01 Workshop on Future Directions in Automated Reasoning pp48-55, 2001. bibtex

• Modelling a Steel Mill Slab Design Problem, A. M. Frisch, I. Miguel, T. Walsh. Proceedings of the IJCAI-01 Workshop on Modelling and Solving Problems with Constraints, pp39-45, 2001. bibtex

• Symmetry and Implied Constraints in the Steel Mill Slab Design Problem, A.M. Frisch, I. Miguel, T. Walsh. Proceedings of the CP'01 Workshop on Modelling and Problem Formulation, pp8-15, 2001. bibtex

• Automatic generation of implied constraints: project description, A. M. Frisch & T. Walsh, Seventh Workshop on Automated Reasoning Bridging the Gap between Theory and Practice, King's College London, pp20-21 July 2000. bibtex

Other Reports & Articles

• APES-75-2003: Refining an Abstract Specification of the Golomb Ruler Problem A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel APES report 75, 2003. bibtex

• APES-74-2003: Symmetry-breaking as a Prelude to Implied Constraints A.M. Frisch, C. Jefferson, I. Miguel APES report 74, 2003. bibtex

• APES-51-2002: Global Constraints for Lexicographic Orderings A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, T. Walsh. APES report 51, 2002. bibtex

• APES-43-2002: Adding resolution to the DPLL procedure for Boolean satisfiability, L. Drake, A.M. Frisch, and T. Walsh. APES report 43, 2002. bibtex

• APES-42-2002: CGRASS: A System for Transforming Constraint Satisfaction Problems , A.M. Frisch, I. Miguel and T. Walsh. APES report 42, 2002. bibtex

• Original project proposal by Frisch & Walsh, also available in plain text.

Page maintained by Ian Miguel (email me). Last update: 16th February, 2004.