Lightweight dynamic symmetry breaking.

Christopher Mears Maria Garcia de la Banda Bart Demoen Mark Wallace

Published in: Constraints An Int. J. (2014)

Keyphrases

lightweight
symmetry breaking
constraint programming
search tree
dos attacks
development environments
communication infrastructure
genetic algorithm
lower bound
special case
genetic programming
global constraints
rfid tags
graph coloring
boolean optimization