Toby Walsh - Google Scholar Citations

Cited by

	All	Since 2015
Citations	21306	7794
h-index	68	37
i10-index	282	159

1600

800

400

1200

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202080 112 178 172 142 244 258 317 308 465 583 591 702 777 830 935 1047 1378 1205 1328 1430 1432 1544 1516 1423 1570 286

Co-authors

Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at ieu.edu.tr
K. Brent VenableAssociate Professor of Computer Science, Tulane University and IHMCVerified email at tulane.edu
Nina NarodytskaVMware ResearchVerified email at vmware.com
christian bessiereCNRSVerified email at lirmm.fr
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Zeynep KiziltanAlma Mater - Università di BolognaVerified email at unibo.it
Armin BiereJohannes Kepler University LinzVerified email at jku.at
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerified email at dei.unipd.it
George KatsirelosINRAEVerified email at inrae.fr
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Haris AzizUNSW Sydney and Data61 CSIROVerified email at unsw.edu.au
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Francesca Rossiprofessor of computer science, university of PadovaVerified email at math.unipd.it
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
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
Serge GaspersAssociate Professor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au

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	2390*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	1781	2009
Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Advances in computers 58 (11), 117-148, 2003	987	2003
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	465	1992
SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000	361	2000
CSPLib: a benchmark library for constraints IP Gent, T Walsh International Conference on Principles and Practice of Constraint …, 1999	343	1999
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	337	1999
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993	310	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	252	2002
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	249	1996
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	230	1997
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	211	2002
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	190	1994
Random constraint satisfaction: Flaws and structure IP Gent, E Macintyre, P Prosser, BM Smith, T Walsh Constraints 6 (4), 345-372, 2001	189	2001
Easy problems are sometimes hard IP Gent, T Walsh Artificial Intelligence 70 (1-2), 335-345, 1994	189	1994
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	187	1996
MaxSAT, Hard and Soft Constraints. CM Li, F Manya Handbook of satisfiability 185, 613-631, 2009	183	2009
Preflib: A library for preferences http://www. preflib. org N Mattei, T Walsh International Conference on Algorithmic DecisionTheory, 259-270, 2013	172	2013
The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996	170	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	154	2017

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

Upload PDF

Follow this author

Cited by

Co-authors