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 |