Distributed Symmetry-Breaking with Improved Vertex-Averaged Complexity.

Leonid Barenboim Yaniv Tzur

Published in: CoRR (2018)

Keyphrases

symmetry breaking
constraint programming
worst case
space complexity
integer linear programming
special case
search tree
boolean satisfiability
parameterized complexity
genetic algorithm
decision problems
global constraints
boolean optimization