Symmetry Breaking in Peaceably Coexisting Armies of Queens. - Karen E. Petrie (CP, 2002)

Comparison of Symmetry Breaking Methods. - Karen E. Petrie (CP, 2003)

Symmetry Breaking in Graceful Graphs. - Karen E. Petrie; Barbara M. Smith (CP, 2003)

Models and Symmetry Breaking for 'Peaceable Armies of Queens'. - Barbara M. Smith; Karen E. Petrie; Ian P. Gent (CPAIOR, 2004)

Constraint programming, search and symmetry. - Karen E. Petrie (2005)

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

Symmetry Definitions for Constraint Satisfaction Problems. - David A. Cohen; Peter Jeavons 001; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith (Constraints An Int. J., 2006)

Symmetry in Constraint Programming. - Ian P. Gent; Karen E. Petrie; Jean-François Puget (Handbook of Constraint Programming, 2006)

Efficiently Solving Problems Where the Solutions Form a Group. - Karen E. Petrie; Christopher Jefferson (CP, 2008)

Same-Relation Constraints. - Christopher Jefferson; Serdar Kadioglu; Karen E. Petrie; Meinolf Sellmann; Stanislav Zivný (CP, 2009)

Why are we still here?: experiences of successful women in computing. - Hannah M. Dee; Karen E. Petrie; Roger D. Boyle; Reena Pau (ITiCSE, 2009)

Constraint Programming to Solve Maximal Density Still Life. - Geoffrey Chu; Karen Elizabeth Petrie; Neil Yorke-Smith (Game of Life Cellular Automata, 2010)

Learning When to Use Lazy Learning in Constraint Solving. - Ian P. Gent; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Neil C. A. Moore; Peter Nightingale; Karen E. Petrie (ECAI, 2010)

Implementing logical connectives in constraint programming. - Christopher Jefferson; Neil C. A. Moore; Peter Nightingale; Karen E. Petrie (Artif. Intell., 2010)

Automatic Generation of Constraints for Partial Symmetry Breaking. - Christopher Jefferson; Karen E. Petrie (CP, 2011)

Combination: automated generation of puzzles with constraints. - Christopher Jefferson; Wendy Moncur; Karen E. Petrie (SAC, 2011)

Self-Learning Genetic Algorithm For Constrains Satisfaction Problems. - Hu Xu 003; Karen E. Petrie (ICCSW, 2012)

Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems. - Hu Xu 003; Karen E. Petrie; Iain R. Murray (ICCSW, 2013)

An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science. - Sylwester Arabas; Michael R. Bareford; Ian P. Gent; Benjamin M. Gorman; Masih Hajiarabderkani; Tristan Henderson; Luke Hutton; Alexander Konovalov 001; Lars Kotthoff; Ciaran McCreesh; Ruma R. Paul; Karen E. Petrie; et al. (CoRR, 2014)

An Analysis of User Engagement in Relation to Computing Workshop Activities. - Rachel Menzies; Michael Crabb; Daniel Herron; Karen E. Petrie; Craig D. Stewart; Mark Zarb (SIGCSE, 2015)

Real-time processing of proteomics data: The internet of things and the connected laboratory. - Christopher Hillman; Karen E. Petrie; Andrew Cobley; Mark Whitehorn (IEEE BigData, 2016)

A Theoretical Framework for Constraint Propagator Triggering. - David A. Cohen; Christopher Jefferson; Karen E. Petrie (SOCS, 2016)

A case study of Facebook use: Outlining a multi-layer strategy for higher education. - Rachel Menzies; Karen E. Petrie; Mark Zarb (Educ. Inf. Technol., 2017)