- Search in the Patience Game `Black Hole' Ian P. Gent a, Chris Jefferson b, Tom Kelsey a, In^es Lynce c, Ian Miguel a, Peter Nightingale a,
- Extending FCSP to Support Dynamically Changing Problems Ian Miguel and Qiang Shen
- Solution Techniques for Constraint Satisfaction Problems: Foundations
- Modelling and Solving English Peg Solitaire
- Automatically Transforming Constraint Satisfaction Problems: Further Progress
- Dynamic Flexible Constraint Satisfaction Ian Miguel & Qiang Shen
- Flexible Graphplan Ian Miguel 1 , Peter Jarvis 2 , Qiang Shen 1
- Transforming and Refining Abstract Constraint Specifications
- Hard, Flexible and Dynamic Constraint Satisfaction Ian Miguel and Qiang Shen
- CGRASS: A System for Transforming Constraint Satisfaction Problems
- Proceedings CPAIOR'03 Modelling and Solving
- Global constraints for lexicographic orderings ? Alan Frisch 1 , Brahim Hnich 2 , Zeynep Kiziltan 2 , Ian Miguel 1 , and Toby Walsh 3
- Constraint Modelling and Reformulation
- Alan M. Frisch Ian Miguel (Eds.) Modelling and Reformulating
- Minimal Ordering Constraints for some Families of Variable Symmetries
- A Constraint Language for Specifying Combinatorial Problems
- Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
- Symmetry in the Generation of Constraint Models
- Data Structures for Generalised Arc Consistency for Extensional Constraints Ian P. Gent,1
- Rule 1,2-Minimal Ordering Constraints for some Families of Variable Symmetries
- Watched Literals for Constraint Propagation in Ian P. Gent1
- The Temporal Knapsack Problem and Its Solution
- Conditional Symmetry Breaking Ian P. Gent1
- Confluence of Reduction Rules for Lexicographic Ordering Constraints Andrew Grayland1
- Optimising Quantified Expressions in Constraint Ian Gent, Ian Miguel, and Andrea Rendl
- A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with
- Approaches to Conditional Symmetry Breaking Ian P. Gent1
- The Rules of Constraint Modelling: An Overview Alan M. Frisch and Chris Jefferson and Bernadette Martinez Hernandez
- The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
- Lazy explanations for constraint propagators Ian P. Gent, Ian Miguel and Neil C.A. Moore
- The Essence of Essence: A Constraint Language for Specifying Combinatorial Problems
- Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints
- Extending Qualitative Modelling for Simulation of TimeDelayed Behaviour
- Towards CSP Model Reformulation at Multiple Levels of Abstraction
- The Case for Dynamic Flexible Constraint Satisfaction
- Propagation Algorithms for Lexicographic Ordering Constraints
- Snake Lex: an Alternative to Double Lex Andrew Grayland1
- Handbook of Constraint Programming 1 Francesca Rossi, Peter van Beek, Toby Walsh
- Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
- The Cost of Flattening with Common Subexpression Elimination
- Minion: A Fast, Scalable, Constraint Solver1 Ian P. Gent2 and Chris Jefferson3 and Ian Miguel2
- The Rules of Constraint Modelling Alan M. Frisch and Chris Jefferson and Bernadette Martinez Hernandez
- Breaking Row and Column Symmetries in Matrix Models
- Extensions to Proof Planning for Generating Implied Constraints
- Matrix Modelling Pierre Flener
- Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern
- Symmetry-breaking in Planning: Schematic Constraints
- Symmetry in Matrix Models Pierre Flener 1 , Alan Frisch 2 , Brahim Hnich 1 , Zeynep Kzltan 1 , Ian Miguel 2 , Justin Pearson 1 , Toby Walsh 2
- Generating Implied Constraints via Proof Planning
- Automatic Generation of Implied Constraints John Charnley, Simon Colton1 and Ian Miguel2
- Dominion: An Architecture-driven Approach to Generating Efficient Constraint Solvers
