Login / Signup
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