Conditional Symmetry Breaking


We introduce the study of Conditional symmetry breaking in constraint programming. This arises in a sub-problem of a constraint satisfaction problem, where the sub-problem satisfies some condition under which additional symetries hold. Conditional symmetry can cause redundancy in a systematic search for solutions. Breaking this symmetry is an important part… (More)
DOI: 10.1007/11564751_21


7 Figures and Tables

Slides referencing similar topics