Toby Walsh

Cited by

	All	Since 2018
Citations	26154	8705
h-index	76	39
i10-index	307	149

1700

850

425

1275

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202382 106 187 178 160 244 271 321 325 478 572 605 676 770 811 897 968 1302 1160 1238 1358 1324 1438 1438 1368 1379 1513 1495 1608 1330

Public access

View all

53 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 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
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
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	3186*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	2658	2009
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	525	1992
SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000	429	2000
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	395	1999
CSPLib: a benchmark library for constraints IP Gent, T Walsh Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999	371	1999
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993	343	1993
PrefLib: A Library for Preferences http://www.preflib.org N Mattei, T Walsh Algorithmic Decision Theory: Third International Conference, ADT 2013 …, 2013	322	2013
MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021	312	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	289	2017
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	282	2002
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	275	1996
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	260	1997
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	249	2002
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	244	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	221	2018
Lifted probabilistic inference by first-order knowledge compilation G Van den Broeck, N Taghipour, W Meert, J Davis, L De Raedt, T Walsh Proceedings of the Twenty-Second international joint conference on …, 2011	220	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	218	1996
Random constraint satisfaction: Flaws and structure IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh Constraints 6, 345-372, 2001	213	2001
The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996	205	1996

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