| 2008 |
| 8 | EE | Karen E. Petrie,
Christopher Jefferson:
Efficiently Solving Problems Where the Solutions Form a Group.
CP 2008: 529-533 |
| 2006 |
| 7 | | David A. Cohen,
Peter Jeavons,
Christopher Jefferson,
Karen E. Petrie,
Barbara M. Smith:
Constraint Symmetry and Solution Symmetry.
AAAI 2006 |
| 6 | EE | David A. Cohen,
Peter Jeavons,
Christopher Jefferson,
Karen E. Petrie,
Barbara M. Smith:
Symmetry Definitions for Constraint Satisfaction Problems.
Constraints 11(2-3): 115-137 (2006) |
| 2005 |
| 5 | EE | David A. Cohen,
Peter Jeavons,
Christopher Jefferson,
Karen E. Petrie,
Barbara M. Smith:
Symmetry Definitions for Constraint Satisfaction Problems.
CP 2005: 17-31 |
| 2004 |
| 4 | EE | Barbara M. Smith,
Karen E. Petrie,
Ian P. Gent:
Models and Symmetry Breaking for 'Peaceable Armies of Queens'.
CPAIOR 2004: 271-286 |
| 2003 |
| 3 | EE | Karen E. Petrie,
Barbara M. Smith:
Symmetry Breaking in Graceful Graphs.
CP 2003: 930-934 |
| 2 | EE | Karen E. Petrie:
Comparison of Symmetry Breaking Methods.
CP 2003: 990 |
| 2002 |
| 1 | EE | Karen E. Petrie:
Symmetry Breaking in Peaceably Coexisting Armies of Queens.
CP 2002: 763 |