Karen E. Petrie

23 papers A* 1A 9B 3Misc 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2017 J jnl
A case study of Facebook use: Outlining a multi-layer strategy for higher education.
Educ. Inf. Technol.
Rachel Menzies, Karen E. Petrie, Mark Zarb
2016 B conf
A Theoretical Framework for Constraint Propagator Triggering.
SOCS
David A. Cohen, Christopher Jefferson, Karen E. Petrie
2016 — conf
Real-time processing of proteomics data: The internet of things and the connected laboratory.
IEEE BigData
Christopher Hillman, Karen E. Petrie, Andrew Cobley, Mark Whitehorn
2015 A conf
An Analysis of User Engagement in Relation to Computing Workshop Activities.
SIGCSE
Rachel Menzies, Michael Crabb, Daniel Herron, Karen E. Petrie, Craig D. Stewart, Mark Zarb
2014 J jnl
An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science.
CoRR
Sylwester Arabas, Michael R. Bareford, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen
2013 — conf
Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems.
ICCSW
Hu Xu, Karen E. Petrie, Iain R. Murray
2012 — conf
Self-Learning Genetic Algorithm For Constrains Satisfaction Problems.
ICCSW
Hu Xu, Karen E. Petrie
2011 A conf
Automatic Generation of Constraints for Partial Symmetry Breaking.
CP
Christopher Jefferson, Karen E. Petrie
2011 Misc conf
Combination: automated generation of puzzles with constraints.
SAC
Christopher Jefferson, Wendy Moncur, Karen E. Petrie
2010 J jnl
Implementing logical connectives in constraint programming.
Artif. Intell.
Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
2010 A conf
Learning When to Use Lazy Learning in Constraint Solving.
ECAI
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
2009 A conf
Same-Relation Constraints.
CP
Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný
2009 B conf
Why are we still here?: experiences of successful women in computing.
ITiCSE
Hannah M. Dee, Karen E. Petrie, Roger D. Boyle, Reena Pau
2008 A conf
Efficiently Solving Problems Where the Solutions Form a Group.
CP
Karen E. Petrie, Christopher Jefferson
2006 A* conf
Constraint Symmetry and Solution Symmetry.
AAAI
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
2006 J jnl
Symmetry Definitions for Constraint Satisfaction Problems.
Constraints An Int. J.
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
2006 — ch.
Symmetry in Constraint Programming.
Handbook of Constraint Programming
Ian P. Gent, Karen E. Petrie, Jean-François Puget
2005 — —
Constraint programming, search and symmetry.
Karen E. Petrie
2005 A conf
Symmetry Definitions for Constraint Satisfaction Problems.
CP
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
2004 B conf
Models and Symmetry Breaking for 'Peaceable Armies of Queens'.
CPAIOR
Barbara M. Smith, Karen E. Petrie, Ian P. Gent
2003 A conf
Comparison of Symmetry Breaking Methods.
CP
Karen E. Petrie
2003 A conf
Symmetry Breaking in Graceful Graphs.
CP
Karen E. Petrie, Barbara M. Smith
2002 A conf
Symmetry Breaking in Peaceably Coexisting Armies of Queens.
CP
Karen E. Petrie