11th int. workshop on symmetry in constraint satisfaction problems

11th Int. Workshop on Symmetry in Constraint Satisfaction Problems

September 12, 2011 University of Perugia, Italy

Workshop OrganizersGeorge KatsirelosLRI, FranceNina Narodytska UNSW and NICTA, Australia

Programme CommitteeGeorge Katsirelos (France)Nina Narodytska (Australia)Pierre Flener (Sweden)Zeynep Kiziltan (Italy)Christopher Mears (Australia)

Justin Pearson (Sweden)Ashish Sabharwal (USA)Lakhdar Sais (France) Pascal Van Hentenryck (USA) Toby Walsh (Australia)

14:00 Geoffrey Chu and Peter StuckeyExploiting Almost Symmetries with SBDS-1UIP and Conditional Symmetry Breaking Constraints

14:30 Christophe Lecoutre and Sebastien TabarySymmetry-reinforced Nogood Recording from Restarts

15:00 Nina Narodytska and Toby WalshDynamic versus Static Value Symmetry Breaking

15:40 Coffee Break

16:10 Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama and Makoto YokooSymmetry of Nonlinearity Constraints

16:40 Thomas Eiter, Thomas Krennwallner, and Christoph Redl.Declarative Merging of and Reasoning about Decision Diagrams

17:10 Toby WalshBreaking Variable and Value Symmetry

17:40 Toby WalshOn the Complexity of Breaking Symmetry

SymCon’11 @