Symmetry breaking in distributed networks

Alon Itai Michael Rodeh

Published in: Inf. Comput. (1990)

Keyphrases

symmetry breaking
constraint programming
search tree
quantified boolean formulae
constraint satisfaction problems
integer linear programming
global constraints
boolean satisfiability
constraint propagation
graph coloring