Symmetry Breaking in Peaceably Coexisting Armies of Queens.

Karen E. Petrie

Published in: CP (2002)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
constraint satisfaction problems
quantified boolean formulae
boolean satisfiability
integer linear programming
graph coloring
combinatorial problems
database systems
particle swarm optimization
boolean optimization