Conditional Symmetry Breaking.

Ian P. Gent Tom Kelsey Steve Linton Iain McDonald Ian Miguel Barbara M. Smith

Published in: CP (2005)

Keyphrases

symmetry breaking
constraint programming
search tree
quantified boolean formulae
global constraints
boolean satisfiability
integer linear programming
constraint satisfaction problems
sat solvers
graph coloring
constraint propagation
simulated annealing
orders of magnitude