Login / Signup
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