Distributed Symmetry Breaking in Graphs with Bounded Diversity.

Leonid Barenboim Tzalik Maimon

Published in: IPDPS (2018)

Keyphrases

symmetry breaking
constraint programming
search tree
integer linear programming
global constraints
boolean satisfiability
state space
constraint satisfaction problems
branch and bound algorithm
graph coloring