| Handbook of constraint programming F Rossi, P Van Beek, T Walsh Elsevier, 2006 | 3504* | 2006 |
| Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009 | 3157 | 2009 |
| A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992 | 582 | 1992 |
| SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000 | 452 | 2000 |
| Search in a small world T Walsh Ijcai 99, 1172-1177, 1999 | 415 | 1999 |
| PrefLib: A Library for Preferences http://www.preflib.org N Mattei, T Walsh International conference on algorithmic decision theory, 259-270, 2013 | 397 | 2013 |
| 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 | 379 | 2017 |
| CSPLib: a benchmark library for constraints IP Gent, T Walsh International conference on principles and practice of constraint …, 1999 | 379 | 1999 |
| MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021 | 366 | 2021 |
| Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh In Proceedings of AAAI-93, 1993 | 343 | 1993 |
| Verifying properties of binarized deep neural networks N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 301 | 2018 |
| 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 | 298 | 2002 |
| The SAT phase transition K Xu, W Li Science in China Series E: Technological Sciences 42 (5), 494-501, 1999 | 287 | 1999 |
| Gathering strength, gathering storms: The one hundred year study on artificial intelligence (AI100) 2021 study panel report ML Littman, I Ajunwa, G Berger, C Boutilier, M Currie, F Doshi-Velez, ... arXiv preprint arXiv:2210.15767, 2022 | 275 | 2022 |
| The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996 | 271 | 1996 |
| Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002 | 266 | 2002 |
| Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997 | 261 | 1997 |
| Ethical considerations in artificial intelligence courses E Burton, J Goldsmith, S Koenig, B Kuipers, N Mattei, T Walsh AI magazine 38 (2), 22-34, 2017 | 252 | 2017 |
| Lifted probabilistic inference by first-order knowledge compilation G Van den Broeck, N Taghipour, W Meert, J Davis, L De Raedt Proceedings of the Twenty-Second international joint conference on …, 2011 | 248 | 2011 |
| 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 | 216 | 1996 |
Nina NarodytskaVMware ResearchVerified email at vmware.com
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
K. Brent VenableProfessor of Computer Science, IHMC and UWFVerified email at ihmc.org
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at fsm.rnu.tn
Haris AzizUNSW SydneyVerified email at unsw.edu.au
Emmanuel HebrardLAAS-CNRS, Université de ToulouseVerified email at laas.fr
Zeynep KiziltanUniversity of Bologna, ItalyVerified email at unibo.it
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerified email at dei.unipd.it
Nicholas MatteiAssociate Professor, Tulane UniversityVerified email at tulane.edu
Francesca RossiIBM ResearchVerified email at ibm.com
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Serge GaspersProfessor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk