Toby Walsh

Cited by

	All	Since 2018
Citations	24650	7366
h-index	75	37
i10-index	299	133

1600

800

400

1200

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202374 107 188 173 145 242 269 326 314 462 607 598 700 752 818 895 983 1258 1159 1225 1325 1320 1413 1422 1344 1366 1479 1486 1572 108

Public access

View all

54 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
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at fsm.rnu.tn
K. Brent VenableProfessor of Computer Science, IHMC and UWFVerified email at ihmc.org
christian bessiereCNRSVerified email at lirmm.fr
Emmanuel HebrardLAAS-CNRS, Université de ToulouseVerified email at laas.fr
Zeynep KiziltanAlma Mater - Università di BolognaVerified email at unibo.it
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
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
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Francesca RossiIBM ResearchVerified email at ibm.com
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Serge GaspersProfessor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Patrick ProsserComputing Science, GlasgowVerified email at dcs.gla.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	3018*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	2500	2009
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	517	1992
Sat v csp T Walsh CP 2, 441-456, 2000	420	2000
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	379	1999
CSPLib: a benchmark library for constraints IP Gent, T Walsh CP 99, 480-481, 1999	366	1999
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993	336	1993
PrefLib: A Library for Preferences http://www.preflib.org N Mattei, T Walsh Algorithmic Decision Theory: Third International Conference, ADT 2013 …, 2013	292	2013
MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021	278	2021
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	275	2002
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	272	1996
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	257	1997
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	251	2017
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	246	2002
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	239	1994
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	213	1996
Random constraint satisfaction: Flaws and structure IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh Constraints 6, 345-372, 2001	210	2001
The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996	196	1996
Easy problems are sometimes hard IP Gent, T Walsh Artificial Intelligence 70 (1-2), 335-345, 1994	193	1994
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	186	2018

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