Karen E. Petrie
According to our database^{1},
Karen E. Petrie
authored at least 23 papers
between 2002 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2017
A case study of Facebook use: Outlining a multilayer strategy for higher education.
EAIT, 2017
2016
A Theoretical Framework for Constraint Propagator Triggering.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016
Realtime processing of proteomics data: The internet of things and the connected laboratory.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016
2015
An Analysis of User Engagement in Relation to Computing Workshop Activities.
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.
CoRR, 2014
2013
Using Selflearning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems.
Proceedings of the 2013 Imperial College Computing Student Workshop, 2013
2012
SelfLearning Genetic Algorithm For Constrains Satisfaction Problems.
Proceedings of the 2012 Imperial College Computing Student Workshop, 2012
2011
Combination: automated generation of puzzles with constraints.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Automatic Generation of Constraints for Partial Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming  CP 2011, 2011
2010
Implementing logical connectives in constraint programming.
Artif. Intell., 2010
Learning When to Use Lazy Learning in Constraint Solving.
Proceedings of the ECAI 2010, 2010
Constraint Programming to Solve Maximal Density Still Life.
Proceedings of the Game of Life Cellular Automata., 2010
2009
Why are we still here?: experiences of successful women in computing.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009
SameRelation Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
Efficiently Solving Problems Where the Solutions Form a Group.
Proceedings of the Principles and Practice of Constraint Programming, 2008
2006
Symmetry in Constraint Programming.
Proceedings of the Handbook of Constraint Programming, 2006
Symmetry Definitions for Constraint Satisfaction Problems.
Constraints, 2006
Constraint Symmetry and Solution Symmetry.
Proceedings of the Proceedings, 2006
2005
Constraint programming, search and symmetry.
PhD thesis, 2005
2004
Models and Symmetry Breaking for 'Peaceable Armies of Queens'.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004
2003
Symmetry Breaking in Graceful Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2003
Comparison of Symmetry Breaking Methods.
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
Symmetry Breaking in Peaceably Coexisting Armies of Queens.
Proceedings of the Principles and Practice of Constraint Programming, 2002