General Symmetry Breaking Constraints

* Final gross prices may vary according to local VAT.

Get Access


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.