Bart Selman

Citada per

	Totes	Des de 2020
Citacions	35009	6354
Índex h	77	35
Índex i10	179	88

1600

800

400

1200

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025172 94 207 266 310 529 502 595 861 963 1077 1011 1203 1199 1308 1282 1513 1516 1296 1266 1188 1371 1365 1298 1174 1275 1092 1061 1080 1226 1391 1235 1221 1126 155

Accés públic

Mostra-ho tot

13 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Henry KautzProfessor Emeritus of Computer Science, University of RochesterCorreu electrònic verificat a cs.rochester.edu
Ashish SabharwalAllen Institute for AI (AI2)Correu electrònic verificat a allenai.org
David McAllesterProfessor, Toyota Technological Institute at ChicagoCorreu electrònic verificat a ttic.edu
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Correu electrònic verificat a cs.uni-saarland.de
Riccardo Zecchinaprofessor, theoretical physics, Bocconi UniversityCorreu electrònic verificat a unibocconi.it
Ashutosh SaxenaFormer Faculty, Computer Science, Cornell University. Stanford UniversityCorreu electrònic verificat a cs.stanford.edu
Eric HorvitzMicrosoftCorreu electrònic verificat a microsoft.com
Jaeyong SungStanford UniversityCorreu electrònic verificat a cs.stanford.edu
Nuno CratoProfessor of Mathematics and Statistics, ISEG, University of LisbonCorreu electrònic verificat a iseg.ulisboa.pt
Bruce van DoverProfessor of Materials Science, Cornell UniversityCorreu electrònic verificat a cornell.edu
Bhaskar KrishnamachariProfessor of Electrical and Computer Engineering, and Computer Science, USCCorreu electrònic verificat a usc.edu
Brian KulisAssociate Professor at Boston University & Amazon ScholarCorreu electrònic verificat a bu.edu
Cèsar FernándezComputer Science Dpt. University of LleidaCorreu electrònic verificat a diei.udl.cat
Richard Ryan WilliamsMITCorreu electrònic verificat a mit.edu
Ramón Béjar TorresUniversity of LleidaCorreu electrònic verificat a udl.cat
Carmel DomshlakProfessor, TechnionCorreu electrònic verificat a ie.technion.ac.il
Michael KearnsProfessor of Computer Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
Stuart RussellProfessor of Computer Science, University of California, BerkeleyCorreu electrònic verificat a cs.berkeley.edu
Carlos AnsóteguiUniversity of LleidaCorreu electrònic verificat a diei.udl.cat
Willem-Jan van HoeveProfessor of Operations Research, Carnegie Mellon UniversityCorreu electrònic verificat a andrew.cmu.edu

Segueix

Bart Selman

Professor of Computer Science, Cornell University

Correu electrònic verificat a cs.cornell.edu - Pàgina d'inici

Artificial Intelligence


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2467	1996
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1610	1992
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1559	1997
Hard and easy distributions of SAT problems D Mitchell, B Selman, H Levesque Aaai 92, 459-465, 1992	1431	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	1341	1996
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994	1336	1994
Support vector machines: Theory and applications T Evgeniou, M Pontil Advanced course on artificial intelligence, 249-257, 1999	1090*	1999
Determining computational complexity from characteristic ‘phase transitions’ R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky Nature 400 (6740), 133-137, 1999	1032	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	1009	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998	943	1998
Understanding batch normalization N Bjorck, CP Gomes, B Selman, KQ Weinberger Advances in neural information processing systems 31, 2018	925	2018
Message filtering techniques LM Canale, HA Kautz, AE Milewski, B Selman US Patent 5,619,648, 1997	793	1997
Critical behavior in the satisfiability of random boolean expressions S Kirkpatrick, B Selman Science 264 (5163), 1297-1301, 1994	789	1994
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	740	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	739	2012
Algorithm portfolios CP Gomes, B Selman Artificial Intelligence 126 (1-2), 43-62, 2001	610	2001
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	591	2000
Evidence for invariants in local search D McAllester, B Selman, H Kautz AAAI/IAAI, 321-326, 1997	565	1997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems B Selman, H Kautz IJCAI 93, 290-295, 1993	530	1993
Backdoors to typical case complexity R Williams, CP Gomes, B Selman IJCAI 3, 1173-1178, 2003	494	2003

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors