Petrie, Karen

Dr

  • 61 Citations
  • 4 h-Index
20082017
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2017

  • 61 Citations
  • 4 h-Index
  • 8 Conference contribution
  • 2 Chapter
  • 2 Article
  • 1 Other chapter contribution
Filter
Conference contribution
2016
1 Citation (Scopus)

A theoretical framework for constraint propagator triggering

Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 2016, Proceedings of the Ninth International Symposium on Combinatorial Search. Baier, J. A. & Botea, A. (eds.). AAAI Press, p. 19-27 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015
1 Citation (Scopus)

An Analysis of User Engagement in Relation to Computing Workshop Activities

Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M., 24 Feb 2015, SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

secondary school pupil
school
university
mathematics
engineering
2013

Using self-learning and automatic tuning to improve the performance of sexual genetic algorithms for constraint satisfaction problems

Xu, H., Petrie, K. & Murray, I., 2013, 2013 Imperial College Computing Student Workshop (ICCSW'13). Jones, A. V. & Ng, N. (eds.). Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, p. 128-135 8 p. (OASICS ; vol. 35).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Constraint satisfaction problems
Self-learning
Constraint Satisfaction Problem
genetic algorithm
Tuning
2011
6 Citations (Scopus)

Automatic generation of constraints for partial symmetry breaking

Jefferson, C. & Petrie, K. E., 2011, Principles and practice of constraint programming - CP 2011: 7th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Lee, J. (ed.). Berlin: Springer , p. 729-743 15 p. (Lecture notes in computer science; vol. 6876).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Equivalence classes
Constraint satisfaction problems
Defects
2010
12 Citations (Scopus)

Learning when to use lazy learning in constraint solving

Gent, I. P., Jefferson, C., Kotthoff, L., Miguel, I., Moore, N. C. A., Nightingale, P. & Petrie, K., 2010, ECAI 2010: 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal - including Prestigious Applications of Artificial Intelligence (PAIS-2010). Proceedings. Coelho, H., Studer, R. & Wooldridge, M. (eds.). Amsterdam: IOS Press, p. 873-878 6 p. (Frontiers in artificial intelligence and applications; vol. 215).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Classifiers
Learning systems
2009
4 Citations (Scopus)

Same-Relation Constraints

Jefferson, C., Kadioglu, S., Petrie, K. E., Sellmann, M. & Zivny, S., 2009, Principles and Practice of Constraint Programming. Gent, IP. (ed.). Berlin: Springer , p. 470-485 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Why are we still here? Experiences of successful women in computing

Dee, H. M., Petrie, K. E., Boyle, R. D. & Pau, R., 2009, ITICSE 2009 Proceeding of the 14th ACM SIGSE Annual Conference on Innovation and Technology in Computer Science Education. Brezillon, P. (ed.). New York: Association for Computing Machinery, p. 233-237 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2008

Efficiently solving problems where the solutions form a group

Petrie, K. E. & Jefferson, C., 2008, Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Stuckey, P. J. (ed.). Berlin: Springer , p. 529-533 5 p. (Lecture notes in computer science; vol. 5202).

Research output: Chapter in Book/Report/Conference proceedingConference contribution