Distributed symmetry-breaking with improved vertex-averaged complexity.

Leonid Barenboim Yaniv Tzur

Published in: ICDCN (2019)

Keyphrases

symmetry breaking
constraint programming
worst case
quantified boolean formulae
genetic algorithm
computational complexity
multi dimensional
symmetry breaking constraints
nearest neighbor
search tree
constraint propagation
space complexity
integer linear programming
graph coloring