Brief Announcement: Distributed Symmetry-Breaking with Improved Vertex-Averaged Complexity.

Leonid Barenboim Yaniv Tzur

Published in: SPAA (2018)

Keyphrases

symmetry breaking
constraint programming
global constraints
quantified boolean formulae
computational complexity
worst case
parameterized complexity
boolean satisfiability
optimization problems
search tree
boolean optimization