Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract)

Alain J. Mayer Yoram Ofek Rafail Ostrovsky Moti Yung

Published in: STOC (1992)

Keyphrases

extended abstract
symmetry breaking
constraint programming
graph coloring
integer linear programming
search space
search tree
multi dimensional
constraint satisfaction
sat solvers
boolean satisfiability
boolean optimization