Distributed Symmetry Breaking in Hypergraphs.

Shay Kutten Danupon Nanongkai Gopal Pandurangan Peter Robinson

Published in: DISC (2014)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
global constraints
search tree
computational complexity
integer linear programming
quantified boolean formulae