The proceedings contain the thirteen contributed papers as well as an abstract by the invited speaker. The proceedings are available electronically in pdf format and the hard copies will be distributed at the workshop to the participants who registered for the workshop or who pay extra for the proceedings.

Contents

Front

Invited Talk
Symmetry in Integer Programming
Francois Margot

Symmetry in Not-Equals Binary Constraint Networks
Belaid Benhamou

Combining Branch & Bound and SBDD to solve Soft CSPs
Stefano Bistarelli and Barry O'Sullivan

Comparing the Use of Symmetry in Constraint Processing and Model Checking
Alastair Donaldson, Alice Miller and Muffy Calder

Approaches to Conditional Symmetry Breaking
Ian P. Gent, Iain McDonald, Ian Miguel and Barbara M. Smith

On the Extraction of Disjunctive Landmarks from Planning Problems via Symmetry Reduction
Peter Gregory, Stephen Cresswell, Derek Long and Julie Porteous

A Note on the Compatibility of Static Symmetry Breaking Constraints and Dynamic Symmetry Breaking Methods
Warwick Harvey

Breaking Weak Symmetries
Roland Martin and Karsten Weihe

Combining SBDS and SBDD
Karen Petrie

Exploiting Dominance in Three Symmetric Problems
Steven Prestwich and J. Christopher Beck

Breaking Symmetries in All Different Problems
Jean-Francois Puget

Automatically Exploiting Symmetries in CP
Arathi Ramani and Igor L. Markov

Symmetry-Breaking and Local Search: A Case Study
Andrea Roli

Conditional Interchangeability and Substitutability
Yuanlin Zhang and Eugene C. Freuder