The Locality of Distributed Symmetry Breaking.

Leonid Barenboim Michael Elkin Seth Pettie Johannes Schneider

Published in: FOCS (2012)

Keyphrases

symmetry breaking
constraint programming
integer linear programming
boolean satisfiability
global constraints
database systems
query processing
search tree
graph coloring
quantified boolean formulae