| Handbook of constraint programming F Rossi, P Van Beek, T Walsh Elsevier, 2006 | 2567* | 2006 |
| Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009 | 2019 | 2009 |
| Bounded model checking A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Carnegie Mellon University, 2003 | 1067 | 2003 |
| A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992 | 488 | 1992 |
| SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000 | 385 | 2000 |
| CSPLib: a benchmark library for constraints IP Gent, T Walsh International Conference on Principles and Practice of Constraint …, 1999 | 351 | 1999 |
| Search in a small world T Walsh Ijcai 99, 1172-1177, 1999 | 346 | 1999 |
| Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993 | 318 | 1993 |
| Breaking row and column symmetries in matrix models P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh International Conference on Principles and Practice of Constraint …, 2002 | 259 | 2002 |
| The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996 | 252 | 1996 |
| Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997 | 238 | 1997 |
| Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002 | 222 | 2002 |
| MaxSAT, Hard and Soft Constraints. CM Li, F Manya Handbook of satisfiability 185, 613-631, 2009 | 210 | 2009 |
| Preflib: A library for preferences http://www. preflib. org N Mattei, T Walsh International Conference on Algorithmic DecisionTheory, 259-270, 2013 | 207 | 2013 |
| The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994 | 194 | 1994 |
| Random constraint satisfaction: Flaws and structure IP Gent, E Macintyre, P Prosser, BM Smith, T Walsh Constraints 6 (4), 345-372, 2001 | 192 | 2001 |
| An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem IP Gent, E MacIntyre, P Presser, BM Smith, T Walsh International Conference on Principles and Practice of Constraint …, 1996 | 192 | 1996 |
| Easy problems are sometimes hard IP Gent, T Walsh Artificial Intelligence 70 (1-2), 335-345, 1994 | 189 | 1994 |
| The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996 | 181 | 1996 |
| Justified representation in approval-based committee voting H Aziz, M Brill, V Conitzer, E Elkind, R Freeman, T Walsh Social Choice and Welfare 48 (2), 461-485, 2017 | 177 | 2017 |
Ian GentProfessor of Computer Science, St Andrews UniversityAdresse e-mail validée de st-andrews.ac.uk
