Karen E. Petrie

ORCID

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 4

Top Venues

University of Huddersfield, UK (PHD)

Education History

University of Huddersfield, UK

PHD

Publications

Rachel Menzies, Karen E. Petrie, Mark Zarb
A case study of Facebook use: Outlining a multi-layer strategy for higher education. Educ. Inf. Technol. 22 (1) (2017)
David A. Cohen, Christopher Jefferson, Karen E. Petrie
A Theoretical Framework for Constraint Propagator Triggering. SOCS (2016)
Christopher Hillman, Karen E. Petrie, Andrew Cobley, Mark Whitehorn
Real-time processing of proteomics data: The internet of things and the connected laboratory. IEEE BigData (2016)
Rachel Menzies, Michael Crabb, Daniel Herron, Karen E. Petrie, Craig Stewart, Mark Zarb
An Analysis of User Engagement in Relation to Computing Workshop Activities. SIGCSE (2015)
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
An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science. CoRR (2014)
Hu Xu, Karen E. Petrie, Iain R. Murray
Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems. ICCSW (2013)
Hu Xu, Karen E. Petrie
Self-Learning Genetic Algorithm For Constrains Satisfaction Problems. ICCSW (2012)
Christopher Jefferson, Karen E. Petrie
Automatic Generation of Constraints for Partial Symmetry Breaking. CP (2011)
Christopher Jefferson, Wendy Moncur, Karen E. Petrie
Combination: automated generation of puzzles with constraints. SAC (2011)
Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Implementing logical connectives in constraint programming. Artif. Intell. 174 (16-17) (2010)
Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
Learning When to Use Lazy Learning in Constraint Solving. ECAI (2010)
Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný
Same-Relation Constraints. CP (2009)
Hannah M. Dee, Karen E. Petrie, Roger D. Boyle, Reena Pau
Why are we still here?: experiences of successful women in computing. ITiCSE (2009)
Karen E. Petrie, Christopher Jefferson
Efficiently Solving Problems Where the Solutions Form a Group. CP (2008)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Constraint Symmetry and Solution Symmetry. AAAI (2006)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. Constraints An Int. J. 11 (2-3) (2006)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. CP (2005)
Barbara M. Smith, Karen E. Petrie, Ian P. Gent
Models and Symmetry Breaking for 'Peaceable Armies of Queens'. CPAIOR (2004)
Karen E. Petrie, Barbara M. Smith
Symmetry Breaking in Graceful Graphs. CP (2003)
Karen E. Petrie
Comparison of Symmetry Breaking Methods. CP (2003)
Karen E. Petrie
Symmetry Breaking in Peaceably Coexisting Armies of Queens. CP (2002)

Karen E. Petrie.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karen E. Petrie