| Minion: A fast scalable constraint solver IP Gent, C Jefferson, I Miguel ECAI 141, 98-102, 2006 | 368 | 2006 |
| Essence: A constraint language for specifying combinatorial problems AM Frisch, W Harvey, C Jefferson, B Martínez-Hernández, I Miguel Constraints 13, 268-306, 2008 | 226 | 2008 |
| Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF (2) via SAT-solvers GV Bard, NT Courtois, C Jefferson Cryptology ePrint Archive, 2007 | 189 | 2007 |
| The essence of essence AM Frisch, M Grum, C Jefferson, BM Hernández, I Miguel Modelling and Reformulating Constraint Satisfaction Problems 73, 2005 | 149 | 2005 |
| 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 |
| The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005 | 114 | 2005 |
| Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007 | 111 | 2007 |
| Watched literals for constraint propagation in minion IP Gent, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2006 | 93 | 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 |
| Automatically improving constraint models in Savile Row P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel, P Spracklen Artificial Intelligence 251, 35-61, 2017 | 84 | 2017 |
| Complexity of n-queens completion IP Gent, C Jefferson, P Nightingale Journal of Artificial Intelligence Research 59, 815-848, 2017 | 66 | 2017 |
| Modelling and solving english peg solitaire C Jefferson, A Miguel, I Miguel, SA Tarim Computers & Operations Research 33 (10), 2935-2959, 2006 | 62 | 2006 |
| 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 |
| Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination P Nightingale, Ö Akgün, IP Gent, C Jefferson, I Miguel Principles and Practice of Constraint Programming: 20th International …, 2014 | 46 | 2014 |
| Extensible automated constraint modelling O Akgun, I Miguel, C Jefferson, A Frisch, B Hnich Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 4-11, 2011 | 45 | 2011 |
| Constraints for breaking more row and column symmetries AM Frisch, C Jefferson, I Miguel International Conference on Principles and Practice of Constraint …, 2003 | 45 | 2003 |
| A preliminary review of literature on parallel constraint solving IP Gent, C Jefferson, I Miguel, NCA Moore, P Nightingale, P Prosser, ... Proceedings PMCS 2011 Workshop on Parallel Methods for Constraint Solving …, 2011 | 44 | 2011 |
| Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern AM Frisch, C Jefferson, I Miguel ECAI 16, 171, 2004 | 44 | 2004 |
| Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010 | 41 | 2010 |
| Automated Symmetry Breaking and Model Selection in Conjure O Akgun, AM Frisch, IP Gent, BS Hussain, C Jefferson, L Kotthoff, I Miguel, ... Principles and Practice of Constraint Programming: 19th International …, 2013 | 40 | 2013 |
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
