Conditional Symmetry Breaking

Abstract

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

Topics

7 Figures and Tables

Slides referencing similar topics