The Randomized Coloring Procedure with Symmetry-Breaking.

Sriram V. Pemmaraju Aravind Srinivasan

Published in: ICALP (1) (2008)

Keyphrases

symmetry breaking
constraint programming
global constraints
boolean satisfiability
integer linear programming
search tree
graph coloring
quantified boolean formulae
constraint satisfaction problems
evolutionary algorithm
multi dimensional
symmetry breaking constraints