Symmetry Breaking in Graphs.

Michael O. Albertson Karen L. Collins

Published in: Electron. J. Comb. (1996)

Keyphrases

symmetry breaking
constraint programming
search tree
boolean satisfiability
quantified boolean formulae
global constraints
constraint satisfaction problems
graph coloring
integer linear programming
lower bound
nearest neighbor
symmetry breaking constraints
boolean optimization