Weak symmetry breaking and abstract simplex paths.

Dmitry N. Kozlov

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
search tree
integer linear programming
quantified boolean formulae
global constraints
graph coloring
boolean optimization
linear programming
constraint satisfaction problems
dynamic programming
constraint satisfaction