Parallel Symmetry-Breaking in Sparse Graphs.

Andrew V. Goldberg Serge A. Plotkin Gregory E. Shannon

Published in: SIAM J. Discret. Math. (1988)

Keyphrases

symmetry breaking
constraint programming
quantified boolean formulae
integer linear programming
constraint satisfaction problems
search tree
global constraints
high dimensional
boolean satisfiability
constraint satisfaction
multi dimensional
weighted graph