David A. Cohen Peter Jeavons Christopher Jefferson Karen E. Petrie Barbara M. Smith Constraint Symmetry and Solution Symmetry. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#CohenJJPS06