SymCon'03:
The Third International Workshop
on Symmetry in Constraint Satisfaction Problems

CP 2003 Workshop
Monday 29 September 2003
Kinsale, County Cork, Ireland

Workshop Notes

Preface

Table of Contents

Papers

• Fadi A. Aloul, Arathi Ramani, Igor L. Markov and Karem A. Sakallah
  Symmetry-Breaking for Pseudo-Boolean Formulas (pdf)
• Marco Cadoli and Toni Mancini
  Detecting and breaking symmetries on specifications (pdf)
• Hay-Wai Chan and Igor L. Markov
  Symmetries in Rectangular Block-Packing (pdf)
• Assef Chmeiss and Lakhdar Sais
  About Neighborhood Substitutability in CSPs (pdf)
• Alan Frisch and Warwick Harvey
  Constraints for Breaking All Row and Column Symmetries in a Three-by-Two Matrix (pdf)
• Ian P. Gent, Iain McDonald and Barbara M. Smith
  Conditional Symmetry in the All-Interval Series Problem (pdf)
• Ian P. Gent and Iain McDonald
  Symmetry and Propagation: Refining an AC algorithm (pdf)
• Warwick Harvey
  The Fully Social Golfer Problem (pdf)
• Warwick Harvey, Tom Kelsey and Karen Petrie
  Symmetry Group Expression for CSPs (pdf)
• Brahim Hnich, Zeynep Kiziltan and Toby Walsh
  Combining Symmetry Breaking with Other Constraints: lexicographic ordering with sums (pdf)
• Anagh Lal and Berthe Choueiry
  Dynamic Detection and Exploitation of Value Symmetries for Non-Binary Finite CSPs (pdf)
• Y.C. Law and J.H.M. Lee
  Expressing Symmetry Breaking Constraints Using Multiple Viewpoints and Channeling Constraints (pdf)
• Derek Long and Maria Fox
  Symmetries in Planning Problems (pdf)
• Iain McDonald
  NuSBDS: Symmetry Breaking made Easy (pdf)
• Justin Pearson
  Comma Free Codes (pdf)
• Karen Petrie
  Why SBDD can be worse than SBDS (pdf)
• Jean-Francois Puget
  Using Constraint Programming to Compute Symmetries (pdf)
• Sebastian Will and Rolf Backofen
  Breaking of Partial Symmetries in the Photo and Alignment Problem (pdf)