Matrix Modelling
Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh
Symmetry and Implied Constraints in the Steel Mill Slab Design Problem
Alan M. Frisch, Ian Miguel, and Toby Walsh
Finding the Answer by Looking in the Wrong Place
Elias Oliveira and Barbara M. Smith
The Interaction Between Simplification and Search in Propositional Satisfiability
Ines Lynce and JosoMarques-Silva
Topological Channel Routing Using Constraint Logic Programming
Andrew Hughes, Anthony J. Kusalik, and Carl D. McCrosky
First-Solution Search with Symmetry Breaking and Implied Constraints
Stephen Prestwich
On the Encoding of Constraint Satisfaction Problems with 0/1 variables
Patrick Prosser and Evgeny Selensky
Global Reasoning on Sets
Andrew Sadler and Carmen Gervet
On Mutual Reformulation of Shop Scheduling and Vehicle Routing
Evgeny Selensky
Sequential Automatic Test Pattern Generation by Constraint Programming
Sebastian Brand
Constraint Programming and Hybrid Formulations for Life
Robert Bosch and Michael Trick
An Optimal SAT Encoding of Arc Consistency in Binary CSP's
Ian P. Gent
The Fundamental Conjecture of Reformulation
Ian P. Gent