Petrie, Karen E.

1 publications

AAAI 2006 Constraint Symmetry and Solution Symmetry David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith