Symmetry Breaking in Software Patterns.

James Coplien Liping Zhao

Published in: GCSE (2000)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
quantified boolean formulae
search tree
global constraints
integer linear programming
data structure
lower bound
constraint propagation