A bibtex file listing all our publications is available here.
-
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
-
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
-
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
-
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.