Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.

Alan M. Frisch Christopher Jefferson Ian Miguel

Published in: ECAI (2004)

Keyphrases

symmetry breaking
global constraints
symmetry breaking constraints
constraint programming
linear constraints
pseudo boolean
constraint satisfaction problems
combinatorial problems
integer linear programming
search tree
constraint satisfaction
graph coloring
lower bound
arc consistency
resource constraints