| Minion: A fast scalable constraint solver IP Gent, C Jefferson, I Miguel ECAI 141, 98-102, 2006 | 355 | 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 | 202 | 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 Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. AM Frisch, M Grum, C Jefferson, BM Hernandez, I Miguel IJCAI 7, 80-87, 2007 | 138 | 2007 |
| Symmetry definitions for constraint satisfaction problems D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith Constraints 11 (2-3), 115-137, 2006 | 116 | 2006 |
| Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007 | 109 | 2007 |
| The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005 | 107 | 2005 |
| Watched literals for constraint propagation in minion IP Gent, C Jefferson, I Miguel Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006 | 89 | 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 | 82 | 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 | 60 | 2017 |
| Modelling and solving English peg solitaire C Jefferson, A Miguel, I Miguel, SA Tarim Computers & Operations Research 33 (10), 2935-2959, 2006 | 54 | 2006 |
| Complexity of n-queens completion IP Gent, C Jefferson, P Nightingale Journal of Artificial Intelligence Research 59, 815-848, 2017 | 51 | 2017 |
| 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 | 47 | 2010 |
| Constraints for breaking more row and column symmetries AM Frisch, C Jefferson, I Miguel Principles and Practice of Constraint Programming–CP 2003: 9th International …, 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 |
| 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 | 42 | 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 | 40 | 2011 |
| Implementing logical connectives in constraint programming C Jefferson, NCA Moore, P Nightingale, KE Petrie Artificial Intelligence 174 (16-17), 1407-1429, 2010 | 40 | 2010 |
| Extending simple tabular reduction with short supports C Jefferson, P Nightingale Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 38 | 2013 |
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
