Toby Walsh

Cited by

	All	Since 2019
Citations	28029	9188
h-index	78	40
i10-index	321	154

1900

950

475

1425

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202482 105 194 176 157 246 264 328 325 486 565 600 682 767 811 882 977 1307 1151 1233 1370 1314 1447 1425 1381 1373 1516 1523 1601 1808 1346

Public access

View all

57 articles

1 article

available

not available

Based on funding mandates

Co-authors

Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Nina NarodytskaVMware ResearchVerified email at vmware.com
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
christian bessiereCNRS, University of Montpellier, FranceVerified email at lirmm.fr
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
Emmanuel HebrardLAAS-CNRS, Université de ToulouseVerified email at laas.fr
Zeynep KiziltanUniversity of Bologna, ItalyVerified email at unibo.it
George KatsirelosINRAEVerified email at inrae.fr
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerified email at dei.unipd.it
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Nicholas MatteiAssociate Professor, Tulane UniversityVerified email at tulane.edu
Francesca RossiIBM ResearchVerified email at ibm.com
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
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

Toby Walsh

Professor, UNSW and CSIRO Data61

Verified email at cse.unsw.edu.au - Homepage

AI Constraints Satisfiability Optimisation Computational Social Choice


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Handbook of constraint programming F Rossi, P Van Beek, T Walsh Elsevier, 2006	3340*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	2967	2009
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	565	1992
SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000	440	2000
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	405	1999
CSPLib: a benchmark library for constraints IP Gent, T Walsh Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999	372	1999
PrefLib: A Library for Preferences http://www.preflib.org N Mattei, T Walsh Algorithmic Decision Theory: Third International Conference, ADT 2013 …, 2013	366	2013
MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021	340	2021
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	337	2017
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993	336	1993
Breaking row and column symmetries in matrix models P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002	287	2002
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	277	1996
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	271	2018
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	262	1997
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	255	1994
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	253	2002
Lifted probabilistic inference by first-order knowledge compilation G Van den Broeck, N Taghipour, W Meert, J Davis, L De Raedt IJCAI, 2178-2185, 2011	237	2011
An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem IP Gent, E MacIntyre, P Presser, BM Smith, T Walsh Principles and Practice of Constraint Programming—CP96: Second …, 1996	216	1996
Random constraint satisfaction: Flaws and structure IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh Constraints 6, 345-372, 2001	215	2001
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	211	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors