Karen E. Petrie

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
A case study of Facebook use: Outlining a multi-layer strategy for higher education.
EAIT, 2017

2016
A Theoretical Framework for Constraint Propagator Triggering.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Real-time 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 Self-learning 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
Self-Learning 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

Same-Relation 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


  Loading...