Symmetry breaking and the interaction of hyperbolic waves.

Published in: IMPACT Comput. Sci. Eng. (1991)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
integer linear programming
quantified boolean formulae
constraint satisfaction problems
search tree
global constraints
special case
combinatorial problems