Symmetry Breaking in Distributive Networks

Alon Itai Michael Rodeh

Published in: FOCS (1981)

Keyphrases

symmetry breaking
constraint programming
integer linear programming
constraint satisfaction problems
quantified boolean formulae
boolean satisfiability
search tree
global constraints
graph coloring
genetic algorithm
automated reasoning