On the Effectiveness of Symmetry Breaking.

Russell G. Miller Reed Solomon Rebecca M. Steiner

Published in: CiE (2014)

Keyphrases

symmetry breaking
constraint programming
search tree
data structure
constraint satisfaction problems
integer linear programming
database systems
special case
knowledge representation
graph coloring
propositional satisfiability
boolean satisfiability