11th int. workshop on symmetry in constraint satisfaction problems
DESCRIPTION
SymCon’ 11 @. 11th Int. Workshop on Symmetry in Constraint Satisfaction Problems. Workshop Organizers George Katsirelos LRI , France Nina Narodytska UNSW and NICTA , Australia. Programme Committee George Katsirelos (France) Nina Narodytska (Australia) - PowerPoint PPT PresentationTRANSCRIPT
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 @