Login / Signup
Improvements of Symmetry Breaking During Search.
Zichen Zhu
Published in:
IJCAI (2015)
Keyphrases
</>
symmetry breaking
constraint programming
search tree
integer linear programming
constraint satisfaction problems
global constraints
search strategies
sat solvers
graph coloring
search algorithm
search space
computational complexity
dynamic programming
phase transition
propositional logic