Karen Petrie
Karen Petrie
Dirección de correo verificada de computing.dundee.ac.uk - Página principal
Título
Citado por
Citado por
Año
Symmetry in constraint programming
IP Gent, KE Petrie, JF Puget
Foundations of Artificial Intelligence 2, 329-376, 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
1052006
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11 (2-3), 115-137, 2006
1052006
Symmetry breaking in graceful graphs
KE Petrie, BM Smith
International Conference on Principles and Practice of Constraint …, 2003
802003
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
782005
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
402010
Learning When to Use Lazy Learning in Constraint Solving.
IP Gent, C Jefferson, L Kotthoff, I Miguel, NCA Moore, P Nightingale, ...
ECAI, 873-878, 2010
372010
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
312004
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
172009
Handbook of Constraint Programming, chapter Symmetry in Constraint Programming
IP Gent, KE Petrie, JF Puget
Elsevier, 2006
172006
Gaplex: Generalised static symmetry breaking
C Jefferson, T Kelsey, S Linton, K Petrie
Symmetry and Constraint Satisfaction Problems 17, 2006
172006
Dynamic symmetry breaking in constraint programming and linear programming hybrids
KE Petrie, BM Smith, N Yorke-Smith
European starting AI researcher symp, 2004
142004
Symmetry in Constraint Programming. F. Rossi, P. van Beek, T. Walsh (eds.), Handbook of Constraint Programming
IP Gent, KE Petrie, JF Puget
Elsevier, 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
Comparison of symmetry breaking methods in constraint programming
KE Petrie, BM Smith
Proceedings of SymCon05, 2005
8*2005
Symmetry group expression for CSPs
W Harvey, T Kelsey, K Petrie
Proceedings of Sym-Con03: Third international workshop on symmetry in …, 2003
82003
Automatic generation of constraints for partial symmetry breaking
C Jefferson, KE Petrie
International Conference on Principles and Practice of Constraint …, 2011
72011
Symmetry in Constraint Programming, Handbook of constraint programming (Rossi, F., van Beek, P. and Walsh, T., eds.)
I Gent, K Petrie, JF Puget
Elsevier Science Ltd, chapter10, 2006
52006
Constraint Programming, Search and Symmetry
KE Petrie
University of Huddersfield, 2005
52005
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
42014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20