Karen E. Petrie

According to our database, Karen E. Petrie authored at least 23 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

2016

A Theoretical Framework for Constraint Propagator Triggering.

David A. Cohen, Christopher Jefferson, Karen E. Petrie

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Real-time processing of proteomics data: The internet of things and the connected laboratory.

Christopher Hillman, Karen E. Petrie, Andrew Cobley, Mark Whitehorn

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

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

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

2014

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, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen

CoRR, 2014

2013

Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems.

Hu Xu, Karen E. Petrie, Iain R. Murray

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

2012

Self-Learning Genetic Algorithm For Constrains Satisfaction Problems.

Hu Xu, Karen E. Petrie

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

2011

Combination: automated generation of puzzles with constraints.

Christopher Jefferson, Wendy Moncur, Karen E. Petrie

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Automatic Generation of Constraints for Partial Symmetry Breaking.

Christopher Jefferson, Karen E. Petrie

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Implementing logical connectives in constraint programming.

Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie

Artif. Intell., 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

Proceedings of the ECAI 2010, 2010

Constraint Programming to Solve Maximal Density Still Life.

Geoffrey Chu, Karen Elizabeth Petrie, Neil Yorke-Smith

Proceedings of the Game of Life Cellular Automata., 2010

2009

Why are we still here?: experiences of successful women in computing.

Hannah M. Dee, Karen E. Petrie, Roger D. Boyle, Reena Pau

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Same-Relation Constraints.

Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Efficiently Solving Problems Where the Solutions Form a Group.

Karen E. Petrie, Christopher Jefferson

Proceedings of the Principles and Practice of Constraint Programming, 2008

2006

Symmetry in Constraint Programming.

Ian P. Gent, Karen E. Petrie, Jean-François Puget

Proceedings of the Handbook of Constraint Programming, 2006

Symmetry Definitions for Constraint Satisfaction Problems.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Constraints An Int. J., 2006

Constraint Symmetry and Solution Symmetry.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Proceedings of the Proceedings, 2006

2005

Constraint programming, search and symmetry.

Karen E. Petrie

PhD thesis, 2005

2004

Models and Symmetry Breaking for 'Peaceable Armies of Queens'.

Barbara M. Smith, Karen E. Petrie, Ian P. Gent

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003

Symmetry Breaking in Graceful Graphs.

Karen E. Petrie, Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2003

Comparison of Symmetry Breaking Methods.

Karen E. Petrie

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Symmetry Breaking in Peaceably Coexisting Armies of Queens.

Karen E. Petrie

Proceedings of the Principles and Practice of Constraint Programming, 2002