General Symmetry Breaking Constraints

We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simultaneously on variables and values, conditional symmetries, as well as symmeties acting on set and other types of variables.

• Type: Conference
• Year: 2006
• Where: CP
• Authors: Toby Walsh
• Keywords: Artificial Intelligence, Constraint Satisfaction Problems, CP 2006, Symmetries, Symmetry Breaking Constraints