Karen Petrie

View Scopus Profile

Petrie, Karen

Professor

  • Professor (Teaching and Scholarship) of Algorithms and Education, Computing
 https://orcid.org/0000-0003-2708-7962
Calculated based on number of publications stored in Pure and citations from Scopus
20082020

Research activity per year

  • 8 Conference contribution
  • 3 Article
  • 2 Chapter
  • 1 Other chapter contribution
Filter
Conference contribution

Search results

  • 2016

    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 proceeding › Conference contribution

    1 Citation (Scopus)
  • 2015

    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 proceeding › Conference contribution

    2 Citations (Scopus)
  • 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 proceeding › Conference contribution

  • 2011

    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 proceeding › Conference contribution

    8 Citations (Scopus)
  • 2010

    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 proceeding › Conference contribution

    26 Citations (Scopus)
  • 2009

    Same-Relation Constraints

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference contribution

    13 Citations (Scopus)
  • 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 proceeding › Conference contribution