Distributed Symmetry Breaking on Power Graphs via Sparsification.

Yannic Maus Saku Peltonen Jara Uitto

Published in: PODC (2023)

Keyphrases

symmetry breaking
constraint programming
constraint satisfaction problems
search tree
graph coloring
quantified boolean formulae
global constraints
boolean satisfiability
data structure
knowledge representation
industrial applications