Toby Walsh

Cited by

	All	Since 2018
Citations	25242	7941
h-index	75	38
i10-index	301	138

1600

800

400

1200

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202372 107 187 173 144 242 262 330 316 460 603 613 695 757 817 894 982 1263 1160 1231 1328 1317 1418 1421 1360 1372 1488 1484 1592 634

Public access

View all

50 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
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
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
Francesca RossiIBM ResearchVerified email at ibm.com
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
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
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
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	3096*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	2586	2009
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	523	1992
SAT v CSP T Walsh Principles and Practice of Constraint Programming–CP 2000: 6th International …, 2001	424	2001
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	383	1999
CSPLib: a benchmark library for constraints IP Gent, T Walsh CP 99, 480-481, 1999	371	1999
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993	340	1993
PrefLib: A Library for Preferences http://www.preflib.org N Mattei, T Walsh Algorithmic Decision Theory: Third International Conference, ADT 2013 …, 2013	306	2013
MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021	287	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	279	2002
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	275	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	268	2017
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	259	1997
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	247	2002
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	245	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	214	1996
Random constraint satisfaction: Flaws and structure IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh Constraints 6, 345-372, 2001	211	2001
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	200	2018
The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996	199	1996
Easy problems are sometimes hard IP Gent, T Walsh Artificial Intelligence 70 (1-2), 335-345, 1994	193	1994

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