Bart Selman

Citado por

	Total	Desde 2017
Citas	30721	5759
Índice h	73	37
Índice i10	173	96

1500

750

375

1125

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022174 81 193 284 303 544 509 560 836 969 1022 981 1204 1218 1243 1244 1476 1491 1300 1266 1170 1320 1353 1289 1167 1238 1086 1008 1037 1115 1183 328

Acceso público

Ver todo

15 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Henry KautzProfessor of Computer Science, University of RochesterDirección de correo verificada de cs.rochester.edu
Ashish SabharwalAllen Institute for AI (AI2)Dirección de correo verificada de allenai.org
David McAllesterProfessor, Toyota Technological Institute at ChicagoDirección de correo verificada de ttic.edu
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland UniversityDirección de correo verificada de cs.uni-saarland.de
Eric HorvitzMicrosoft ResearchDirección de correo verificada de microsoft.com
Riccardo Zecchinaprofessor, theoretical physics, Bocconi UniversityDirección de correo verificada de unibocconi.it
Ashutosh SaxenaCEO, Caspar.AI; Former Faculty, Computer Science, Cornell University. Stanford UniversityDirección de correo verificada de cs.cornell.edu
Jaeyong SungStanford UniversityDirección de correo verificada de cs.stanford.edu
Bhaskar KrishnamachariProfessor of Electrical and Computer Engineering, and Computer Science, University of SouthernDirección de correo verificada de usc.edu
Nuno CratoProfessor of Mathematics and Statistics, ISEG, University of LisbonDirección de correo verificada de iseg.ulisboa.pt
Bruce van DoverProfessor of Materials Science, Cornell UniversityDirección de correo verificada de cornell.edu
Cèsar FernándezComputer Science Dpt. University of LleidaDirección de correo verificada de diei.udl.cat
Brian KulisAssociate Professor at Boston University & Amazon ScholarDirección de correo verificada de bu.edu
Richard Ryan WilliamsMITDirección de correo verificada de mit.edu
Ramón Béjar TorresUniversity of LleidaDirección de correo verificada de udl.cat
Michael KearnsProfessor of Computer Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Carmel DomshlakProfessor, TechnionDirección de correo verificada de ie.technion.ac.il
Willem-Jan van HoeveProfessor of Operations Research, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Carlos AnsóteguiUniversity of LleidaDirección de correo verificada de diei.udl.cat
christian bessiereCNRSDirección de correo verificada de lirmm.fr

Seguir

Bart Selman

Professor of Computer Science, Cornell University

Dirección de correo verificada de cs.cornell.edu - Página principal

Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2319	1996
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1496	1997
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1453	1992
Hard and easy distributions of SAT problems D Mitchell, B Selman, H Levesque Aaai 92, 459-465, 1992	1343	1992
Pushing the envelope: Planning, propositional logic, and stochastic search H Kautz, B Selman Proceedings of the national conference on artificial intelligence, 1194-1201, 1996	1282	1996
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994	1263	1994
Determining computational complexity from characteristic ‘phase transitions’ R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky Nature 400 (6740), 133-137, 1999	958	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	941	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98, 431-437, 1998	872	1998
Message filtering techniques LM Canale, HA Kautz, AE Milewski, B Selman US Patent 5,619,648, 1997	791	1997
Critical behavior in the satisfiability of random boolean expressions S Kirkpatrick, B Selman Science 264 (5163), 1297-1301, 1994	746	1994
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	707	1999
Unstructured human activity detection from rgbd images J Sung, C Ponce, B Selman, A Saxena 2012 IEEE international conference on robotics and automation, 842-849, 2012	657	2012
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems CP Gomes, B Selman, N Crato, H Kautz Journal of automated reasoning 24 (1), 67-100, 2000	541	2000
Algorithm portfolios CP Gomes, B Selman Artificial Intelligence 126 (1-2), 43-62, 2001	540	2001
Evidence for invariants in local search D McAllester, B Selman, H Kautz AAAI/IAAI, 321-326, 1997	536	1997
The hidden web H Kautz, B Selman, M Shah AI magazine 18 (2), 27-27, 1997	499	1997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems B Selman, H Kautz IJCAI 93, 290-295, 1993	496	1993
Encoding plans in propositional logic H Kautz, D McAllester, B Selman KR 96, 374-384, 1996	446	1996
Backdoors to typical case complexity R Williams, CP Gomes, B Selman IJCAI 3, 1173-1178, 2003	433	2003

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 a este autor

Citado por

Coautores