Distributed Symmetry Breaking in Hypergraphs.

Shay Kutten Danupon Nanongkai Gopal Pandurangan Peter Robinson

Published in: CoRR (2014)

Keyphrases

symmetry breaking
constraint programming
quantified boolean formulae
search tree
boolean satisfiability
lower bound
global constraints
integer linear programming