Self-Stabilizing Symmetry Breaking in Constant Space.

Alain J. Mayer Rafail Ostrovsky Yoram Ofek Moti Yung

Published in: SIAM J. Comput. (2002)

Keyphrases

symmetry breaking
graph coloring
constraint programming
search space
integer linear programming
boolean satisfiability
search algorithm
boolean optimization
genetic algorithm
computational complexity
database management systems
constraint satisfaction problems