Toby Walsh

Dikutip oleh

	Semua	Sejak 2020
Kutipan	28949	8659
indeks-h	80	40
indeks-i10	330	156

1900

950

475

1425

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202583 105 191 180 158 246 271 318 325 488 572 592 684 774 815 885 1015 1278 1167 1246 1374 1316 1453 1443 1392 1385 1535 1535 1605 1834 1852 285

Akses publik

Lihat semua

61 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Ian GentProfessor of Computer Science, St Andrews UniversityEmail yang diverifikasi di st-andrews.ac.uk
Nina NarodytskaVMware ResearchEmail yang diverifikasi di vmware.com
K. Brent VenableProfessor of Computer Science, IHMC and UWFEmail yang diverifikasi di ihmc.org
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaEmail yang diverifikasi di fsm.rnu.tn
christian bessiereCNRS, University of Montpellier, FranceEmail yang diverifikasi di lirmm.fr
Haris AzizUNSW SydneyEmail yang diverifikasi di unsw.edu.au
Emmanuel HebrardLAAS-CNRS, Université de ToulouseEmail yang diverifikasi di laas.fr
Zeynep KiziltanUniversity of Bologna, ItalyEmail yang diverifikasi di unibo.it
George KatsirelosINRAEEmail yang diverifikasi di inrae.fr
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaEmail yang diverifikasi di dei.unipd.it
Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
Alan M FrischUniversity of YorkEmail yang diverifikasi di york.ac.uk
Nicholas MatteiAssociate Professor, Tulane UniversityEmail yang diverifikasi di tulane.edu
Francesca RossiIBM ResearchEmail yang diverifikasi di ibm.com
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Ian MiguelUniversity of St AndrewsEmail yang diverifikasi di st-andrews.ac.uk
Claude-Guy QuimperUniversité LavalEmail yang diverifikasi di ift.ulaval.ca
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoEmail yang diverifikasi di unitn.it
Serge GaspersProfessor, UNSW Sydney, AustraliaEmail yang diverifikasi di cse.unsw.edu.au
Alan BundyProfessor of Automated Reasoning, University of EdinburghEmail yang diverifikasi di ed.ac.uk

Ikuti

Toby Walsh

Professor, UNSW and CSIRO Data61

Email yang diverifikasi di cse.unsw.edu.au - Beranda

AI Constraints Satisfiability Optimisation Computational Social Choice


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Handbook of constraint programming F Rossi, P Van Beek, T Walsh Elsevier, 2006	3411*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	3065	2009
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	569	1992
SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000	445	2000
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	412	1999
CSPLib: a benchmark library for constraints IP Gent, T Walsh Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999	371	1999
PrefLib: A Library for Preferences http://www.preflib.org N Mattei, T Walsh Algorithmic Decision Theory: Third International Conference, ADT 2013 …, 2013	369	2013
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	364	2017
MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021	357	2021
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh In Proceedings of AAAI-93, 1993	340	1993
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	295	2002
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	286	2018
The SAT phase transition K Xu, W Li Science in China Series E: Technological Sciences 42, 494-501, 1999	281	1999
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	275	1996
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	262	2002
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	262	1997
Gathering strength, gathering storms: The one hundred year study on artificial intelligence (AI100) 2021 study panel report ML Littman, I Ajunwa, G Berger, C Boutilier, M Currie, F Doshi-Velez, ... arXiv preprint arXiv:2210.15767, 2022	246	2022
Lifted probabilistic inference by first-order knowledge compilation G Van den Broeck, N Taghipour, W Meert, J Davis, L De Raedt Proceedings of the Twenty-Second international joint conference on …, 2011	239	2011
Ethical considerations in artificial intelligence courses E Burton, J Goldsmith, S Koenig, B Kuipers, N Mattei, T Walsh AI magazine 38 (2), 22-34, 2017	218	2017
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	217	1996

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama