Combinatorial topology of the standard chromatic subdivision and Weak Symmetry Breaking for 6 processes.

Dmitry N. Kozlov

Published in: CoRR (2015)

Keyphrases

symmetry breaking
constraint programming
global constraints
search tree
constraint satisfaction problems
graph coloring
query processing
first order logic