Proceedings of the International Workshop on

Reformulating Constraint Satisfaction Problems

Towards Systematisation and Automation


Alan M. Frisch (editor)




Title page, forward, table of contents

Reformulation: A Practical View (Abstract)
Helmut Simonis

On the Pruning Behaviour of Minimal Combined Models for Permutation CSPs
C.W. Choi and J.H.M. Lee

Automatically Converting SAT Encodings of CSPs
Lyndon Drake, Alan M. Frisch, Ian Gent and Toby Walsh

Matrix Modelling: Exploiting Common Patterns in Constraint Programming
Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh

Towards Model Reformulation at Multiple Levels of Abstraction
Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith and Toby Walsh

Algebraic Properties of CSP Model Operators
Y.C. Law and J.H.M. Lee

Capturing Constraint Programming Experience: A Case-Based Approach
James Little, Cormac Gebruers, Derek Bridge and Eugene Freuder