Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search.

Jimmy H. M. Lee Zichen Zhu

Published in: IJCAI (2015)

Keyphrases

symmetry breaking
constraint programming
global constraints
search tree
integer linear programming
constraint satisfaction problems
graph coloring
symmetry breaking constraints
search space
genetic algorithm
search algorithm
np complete
heuristic search
sat solvers
combinatorial problems