Toby Walsh

Cited by

	All	Since 2016
Citations	22366	8179
h-index	71	39
i10-index	284	158

1600

800

400

1200

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202182 103 181 167 131 247 246 309 315 478 567 583 658 743 804 881 950 1285 1113 1214 1313 1314 1436 1399 1304 1367 1526 1129

Public access

View all

60 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 VenableAssociate Professor of Computer Science, Tulane University and IHMCVerified email at tulane.edu
christian bessiereCNRSVerified email at lirmm.fr
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Zeynep KiziltanAlma Mater - Università di BolognaVerified email at unibo.it
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerified email at dei.unipd.it
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
George KatsirelosINRAEVerified email at inrae.fr
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Francesca RossiIBM ResearchVerified email at ibm.com
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Armin BiereAlbert-Ludwigs-Universität FreiburgVerified email at informatik.uni-freiburg.de
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Serge GaspersAssociate Professor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Patrick ProsserComputing Science, GlasgowVerified email at dcs.gla.ac.uk

Toby Walsh

Professor, UNSW and Data61

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

Artificial Intelligence 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	2756*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	2182	2009
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	493	1992
SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000	399	2000
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	362	1999
CSPLib: a benchmark library for constraints IP Gent, T Walsh International Conference on Principles and Practice of Constraint …, 1999	350	1999
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993	322	1993
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	265	2002
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	257	1996
PrefLib: A Library for Preferences http://www.preflib.org N Mattei, T Walsh International Conference on Algorithmic Decision Theory, 259-270, 2013	245	2013
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	245	1997
MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 613-631, 2009	234	2009
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	231	2002
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	222	1994
Random constraint satisfaction: Flaws and structure IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh Constraints 6 (4), 345-372, 2001	206	2001
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	205	2017
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	201	1996
Easy problems are sometimes hard IP Gent, T Walsh Artificial Intelligence 70 (1-2), 335-345, 1994	187	1994
The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996	184	1996
Backbones and backdoors in satisfiability P Kilby, J Slaney, S Thiébaux, T Walsh AAAI 5, 1368-1373, 2005	168	2005

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 this author

Cited by

Co-authors