Toby Walsh - Google Scholar Citations

Cited by

	All	Since 2014
Citations	20336	8379
h-index	66	40
i10-index	276	167

1600

800

400

1200

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201950 80 111 178 174 142 246 254 318 308 461 579 593 691 776 841 926 1042 1362 1177 1273 1404 1426 1520 1462 1415 1127

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
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerified email at dei.unipd.it
Armin BiereJohannes Kepler University LinzVerified email at jku.at
George KatsirelosINRAVerified email at toulouse.inra.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
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
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
Serge GaspersAssociate Professor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au

Toby Walsh

Professor, TU Berlin, UNSW, and Data61

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

Artificial Intelligence Optimisation Computational Social Choice


Title	Cited by	Year
Handbook of constraint programming F Rossi, P Van Beek, T Walsh Elsevier, 2006	2270*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	1645	2009
Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Advances in computers 58 (11), 117-148, 2003	923	2003
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	459	1992
SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000	354	2000
CSPLib: a benchmark library for constraints IP Gent, T Walsh International Conference on Principles and Practice of Constraint …, 1999	327	1999
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	326	1999
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93, 28-33, 1993	307	1993
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	249	1996
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	248	2002
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	226	1997
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	207	2002
Random constraint satisfaction: Flaws and structure IP Gent, E Macintyre, P Prosser, BM Smith, T Walsh Constraints 6 (4), 345-372, 2001	189	2001
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	181	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	180	1996
Easy problems are sometimes hard IP Gent, T Walsh Artificial Intelligence 70 (1-2), 335-345, 1994	180	1994
MaxSAT, Hard and Soft Constraints. CM Li, F Manya Handbook of satisfiability 185, 613-631, 2009	172	2009
The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996	167	1996
Global constraints for lexicographic orderings A Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh International Conference on Principles and Practice of Constraint …, 2002	151	2002
Preflib: A library for preferences http://www. preflib. org N Mattei, T Walsh International Conference on Algorithmic DecisionTheory, 259-270, 2013	147	2013

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