Minion: A fast scalable constraint solver IP Gent, C Jefferson, I Miguel ECAI 141, 98-102, 2006 | 365 | 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 | 223 | 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 | 126 | 2006 |
The rules of constraint modelling AM Frisch, C Jefferson, BM Hernández, I Miguel IJCAI, 109-116, 2005 | 113 | 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 | 77 | 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 | 58 | 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 | 45 | 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 | 43 | 2004 |
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 |
Extending simple tabular reduction with short supports C Jefferson, P Nightingale Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 39 | 2013 |