| Symmetry in constraint programming IP Gent, KE Petrie, JF Puget Foundations of Artificial Intelligence 2, 329-376, 2006 | 195 | 2006 |
| Symmetry definitions for constraint satisfaction problems D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith Constraints 11 (2-3), 115-137, 2006 | 136 | 2006 |
| Symmetry definitions for constraint satisfaction problems D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith International Conference on Principles and Practice of Constraint …, 2005 | 88 | 2005 |
| Symmetry breaking in graceful graphs KE Petrie, BM Smith International Conference on Principles and Practice of Constraint …, 2003 | 85 | 2003 |
| Learning when to use lazy learning in constraint solving IP Gent, C Jefferson, L Kotthoff, I Miguel, NCA Moore, P Nightingale, ... ECAI 2010, 873-878, 2010 | 59 | 2010 |
| Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010 | 44 | 2010 |
| Models and symmetry breaking for ‘peaceable armies of queens’ BM Smith, KE Petrie, IP Gent International Conference on Integration of Artificial Intelligence (AI) and …, 2004 | 40 | 2004 |
| Why are we still here? Experiences of successful women in computing HM Dee, KE Petrie, RD Boyle, R Pau ACM SIGCSE Bulletin 41 (3), 233-237, 2009 | 33 | 2009 |
| Handbook of Constraint Programming, chapter Symmetry in Constraint Programming IP Gent, KE Petrie, JF Puget Elsevier, 2006 | 25 | 2006 |
| Dynamic symmetry breaking in constraint programming and linear programming hybrids KE Petrie, BM Smith, N Yorke-Smith European starting AI researcher symp, 2004 | 18 | 2004 |
| Gaplex: Generalised static symmetry breaking C Jefferson, T Kelsey, S Linton, K Petrie Symmetry and Constraint Satisfaction Problems 17, 2006 | 17 | 2006 |
| Automatic generation of constraints for partial symmetry breaking C Jefferson, KE Petrie International Conference on Principles and Practice of Constraint …, 2011 | 11 | 2011 |
| Identifying groups of people with similar sociobehavioural characteristics in Malawi to inform HIV interventions: a latent class analysis A Merzouki, A Styles, J Estill, E Orel, Z Baranczuk, K Petrie, O Keiser Journal of the International AIDS Society 23 (9), e25615, 2020 | 8 | 2020 |
| Symmetry in constraint programming. Handbook of Constraint Programming I Gent, K Petrie, JF Puget Elsevier 2, 329-376, 2006 | 8 | 2006 |
| Symmetry definitions for constraint programming D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith Constraints 11 (2-3), 115-137, 2006 | 8 | 2006 |
| Symmetry group expressions for CSPs W Harvey, TW Kelsey, KE Petrie | 8 | 2003 |
| Case studies and challenges in reproducibility in the computational sciences S Arabas, MR Bareford, LR de Silva, IP Gent, BM Gorman, ... arXiv preprint arXiv:1408.2123, 2014 | 7 | 2014 |
| Combination: Automated generation of puzzles with constraints C Jefferson, W Moncur, KE Petrie Proceedings of the 2011 ACM Symposium on Applied Computing, 907-912, 2011 | 6 | 2011 |
| Comparison of symmetry breaking methods in constraint programming KE Petrie, BM Smith Proceedings of SymCon05, 2005 | 6 | 2005 |
| Constraint Programming, Search and Symmetry KE Petrie University of Huddersfield, 2005 | 5 | 2005 |