Structure theory of flip graphs with applications to Weak Symmetry Breaking.

Dmitry N. Kozlov

Published in: J. Appl. Comput. Topol. (2017)

Keyphrases

symmetry breaking
graph structure
constraint programming
parameterized complexity
boolean satisfiability
lower bound
temporal logic
search tree