Follow
Karen Petrie
Karen Petrie
Verified email at computing.dundee.ac.uk - Homepage
Title
Cited by
Cited by
Year
Symmetry in constraint programming
IP Gent, KE Petrie, JF Puget
Foundations of Artificial Intelligence 2, 329-376, 2006
1672006
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11, 115-137, 2006
1252006
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11 (2-3), 115-137, 2006
1252006
Symmetry breaking in graceful graphs
KE Petrie, BM Smith
International Conference on Principles and Practice of Constraint …, 2003
832003
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
802005
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
542010
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
402010
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
372004
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
312009
Handbook of Constraint Programming, chapter Symmetry in Constraint Programming
IP Gent, KE Petrie, JF Puget
Elsevier, 2006
272006
Dynamic symmetry breaking in constraint programming and linear programming hybrids
KE Petrie, BM Smith, N Yorke-Smith
European starting AI researcher symp, 2004
172004
Gaplex: Generalised static symmetry breaking
C Jefferson, T Kelsey, S Linton, K Petrie
Symmetry and Constraint Satisfaction Problems 17, 2006
162006
Automatic generation of constraints for partial symmetry breaking
C Jefferson, KE Petrie
International Conference on Principles and Practice of Constraint …, 2011
92011
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
82020
Symmetry in constraint programming. Handbook of Constraint Programming
I Gent, K Petrie, JF Puget
Elsevier 2, 329-376, 2006
82006
Symmetry definitions for constraint programming
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11 (2-3), 115-137, 2006
82006
Symmetry group expressions for CSPs
W Harvey, T Kelsey, K Petrie
Proc. 3rd Int’l Workshop on Symmetry in CSPs, 86-96, 2003
82003
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
72014
Comparison of symmetry breaking methods in constraint programming
KE Petrie, BM Smith
Proceedings of SymCon05, 2005
62005
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
52011
The system can't perform the operation now. Try again later.
Articles 1–20