Toby Walsh

Citado por

	Total	Desde 2019
Citas	28293	9437
Índice h	79	40
Índice i10	325	158

1900

950

475

1425

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202482 105 194 176 157 246 264 328 325 486 565 600 682 767 811 881 977 1307 1152 1235 1372 1314 1451 1424 1385 1374 1518 1524 1588 1810 1596

Acceso público

Ver todo

57 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ian GentProfessor of Computer Science, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk
Nina NarodytskaVMware ResearchDirección de correo verificada de vmware.com
K. Brent VenableProfessor of Computer Science, IHMC and UWFDirección de correo verificada de ihmc.org
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaDirección de correo verificada de fsm.rnu.tn
christian bessiereCNRS, University of Montpellier, FranceDirección de correo verificada de lirmm.fr
Haris AzizUNSW SydneyDirección de correo verificada de unsw.edu.au
Emmanuel HebrardLAAS-CNRS, Université de ToulouseDirección de correo verificada de laas.fr
Zeynep KiziltanUniversity of Bologna, ItalyDirección de correo verificada de unibo.it
George KatsirelosINRAEDirección de correo verificada de inrae.fr
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaDirección de correo verificada de dei.unipd.it
Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Alan M FrischUniversity of YorkDirección de correo verificada de york.ac.uk
Nicholas MatteiAssociate Professor, Tulane UniversityDirección de correo verificada de tulane.edu
Francesca RossiIBM ResearchDirección de correo verificada de ibm.com
Ian MiguelUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Claude-Guy QuimperUniversité LavalDirección de correo verificada de ift.ulaval.ca
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoDirección de correo verificada de unitn.it
Serge GaspersProfessor, UNSW Sydney, AustraliaDirección de correo verificada de cse.unsw.edu.au
Alan BundyProfessor of Automated Reasoning, University of EdinburghDirección de correo verificada de ed.ac.uk

Seguir

Toby Walsh

Professor, UNSW and CSIRO Data61

Dirección de correo verificada de cse.unsw.edu.au - Página principal

AI Constraints Satisfiability Optimisation Computational Social Choice


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Handbook of constraint programming F Rossi, P Van Beek, T Walsh Elsevier, 2006	3367*	2006
Handbook of satisfiability A Biere, M Heule, H van Maaren IOS press, 2009	3001	2009
A theory of abstraction F Giunchiglia, T Walsh Artificial intelligence 57 (2-3), 323-389, 1992	567	1992
SAT v CSP T Walsh International Conference on Principles and Practice of Constraint …, 2000	440	2000
Search in a small world T Walsh Ijcai 99, 1172-1177, 1999	407	1999
CSPLib: a benchmark library for constraints IP Gent, T Walsh Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999	372	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
MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021	346	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	344	2017
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993	336	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	287	2002
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996	277	1996
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	275	2018
Depth-bounded discrepancy search T Walsh IJCAI 97, 1388-1393, 1997	262	1997
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994	257	1994
Stochastic constraint programming T Walsh ECAI 2, 111-115, 2002	254	2002
Lifted probabilistic inference by first-order knowledge compilation G Van den Broeck, N Taghipour, W Meert, J Davis, L De Raedt IJCAI, 2178-2185, 2011	239	2011
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	227	2022
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	216	1996
Random constraint satisfaction: Flaws and structure IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh Constraints 6, 345-372, 2001	215	2001

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores