General Symmetry Breaking Constraints

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.