Symmetry in constraint programming IP Gent, KE Petrie, JF Puget Foundations of Artificial Intelligence 2, 329-376, 2006 | 176 | 2006 |
Symmetry definitions for constraint satisfaction problems D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith Constraints 11 (2-3), 115-137, 2006 | 127 | 2006 |
Symmetry definitions for constraint satisfaction problems D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005 | 86 | 2005 |
Symmetry breaking in graceful graphs KE Petrie, BM Smith International Conference on Principles and Practice of Constraint …, 2003 | 83 | 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 | 54 | 2010 |
Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010 | 41 | 2010 |
Models and symmetry breaking for ‘peaceable armies of queens’ BM Smith, KE Petrie, IP Gent Integration of AI and OR Techniques in Constraint Programming for …, 2004 | 37 | 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 | 21 | 2006 |
Dynamic symmetry breaking in constraint programming and linear programming hybrids KE Petrie, BM Smith, N Yorke-Smith European starting AI researcher symp, 2004 | 17 | 2004 |
Gaplex: Generalised static symmetry breaking C Jefferson, T Kelsey, S Linton, K Petrie Symmetry and Constraint Satisfaction Problems 17, 2006 | 16 | 2006 |
Automatic generation of constraints for partial symmetry breaking C Jefferson, KE Petrie International Conference on Principles and Practice of Constraint …, 2011 | 9 | 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 African Journal of Reproduction and Gynaecological Endoscopy 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, T Kelsey, K Petrie Proceedings SymCon-03: Third International workshop on Symmetry in …, 2003 | 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 |
Comparison of symmetry breaking methods in constraint programming KE Petrie, BM Smith Proceedings of SymCon05, 2005 | 7 | 2005 |
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 |
Constraint Programming, Search and Symmetry KE Petrie University of Huddersfield, 2005 | 5 | 2005 |