1. Symmetry breaking as a prelude to implied constraints: a constraint modelling pattern;Frisch,2004
2. Symmetry and implied constraints in the steel mill slab design problem;Frisch,2001
3. Automatic generation of implied constraints;Charnley,2006
4. Constraint generation via automated theory formation;Colton,2001
5. CGRASS: a system for transforming constraint satisfaction problems;Frisch,2003