Karen E. Petrie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2002–2016
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SoCS | A Theoretical Framework for Constraint Propagator Triggering. | David A. Cohen, Christopher Jefferson, Karen E. Petrie |
| 2015 | SIGCSE | 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 |
| 2011 | CP | Automatic Generation of Constraints for Partial Symmetry Breaking. | Christopher Jefferson, Karen E. Petrie |
| 2011 | SAC | Combination: automated generation of puzzles with constraints. | Christopher Jefferson, Wendy Moncur, Karen E. Petrie |
| 2010 | ECAI | 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 |
| 2009 | CP | Same-Relation Constraints. | Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivn |
| 2009 | ITiCSE | Why are we still here?: experiences of successful women in computing. | Hannah M. Dee, Karen E. Petrie, Roger D. Boyle, Reena Pau |
| 2008 | CP | Efficiently Solving Problems Where the Solutions Form a Group. | Karen E. Petrie, Christopher Jefferson |
| 2006 | AAAI | Constraint Symmetry and Solution Symmetry. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2005 | CP | Symmetry Definitions for Constraint Satisfaction Problems. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2004 | CPAIOR | Models and Symmetry Breaking for 'Peaceable Armies of Queens'. | Barbara M. Smith, Karen E. Petrie, Ian P. Gent |
| 2003 | CP | Comparison of Symmetry Breaking Methods. | Karen E. Petrie |
| 2003 | CP | Symmetry Breaking in Graceful Graphs. | Karen E. Petrie, Barbara M. Smith |
| 2002 | CP | Symmetry Breaking in Peaceably Coexisting Armies of Queens. | Karen E. Petrie |