The Power of Orientation in Symmetry-Breaking.

Satya Krishna Pindiproli Kishore Kothapalli

Published in: AINA (2010)

Keyphrases

symmetry breaking
constraint programming
global constraints
boolean satisfiability
search tree
constraint satisfaction problems
integer linear programming
quantified boolean formulae
np hard
constraint propagation
sat solvers
graph coloring
boolean optimization
dynamic programming
genetic programming