Bart Selman

Citée par

	Toutes	Depuis 2019
Citations	34235	6793
indice h	77	37
indice i10	177	94

1600

800

400

1200

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024174 89 203 263 304 528 502 603 863 962 1069 1013 1205 1208 1293 1277 1494 1517 1280 1257 1196 1341 1347 1317 1166 1269 1076 1046 1054 1212 1357 1198 1193 775

Accès public

Tout afficher

13 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Henry KautzProfessor Emeritus of Computer Science, University of RochesterAdresse e-mail validée de cs.rochester.edu
Ashish SabharwalAllen Institute for AI (AI2)Adresse e-mail validée de allenai.org
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Adresse e-mail validée de cs.uni-saarland.de
David McAllesterProfessor, Toyota Technological Institute at ChicagoAdresse e-mail validée de ttic.edu
Riccardo Zecchinaprofessor, theoretical physics, Bocconi UniversityAdresse e-mail validée de unibocconi.it
Ashutosh SaxenaFormer Faculty, Computer Science, Cornell University. Stanford UniversityAdresse e-mail validée de cs.stanford.edu
Eric HorvitzMicrosoftAdresse e-mail validée de microsoft.com
Jaeyong SungStanford UniversityAdresse e-mail validée de cs.stanford.edu
Nuno CratoProfessor of Mathematics and Statistics, ISEG, University of LisbonAdresse e-mail validée de iseg.ulisboa.pt
Bhaskar KrishnamachariProfessor of Electrical and Computer Engineering, and Computer Science, USCAdresse e-mail validée de usc.edu
Bruce van DoverProfessor of Materials Science, Cornell UniversityAdresse e-mail validée de cornell.edu
Brian KulisAssociate Professor at Boston University & Amazon ScholarAdresse e-mail validée de bu.edu
Cèsar FernándezComputer Science Dpt. University of LleidaAdresse e-mail validée de diei.udl.cat
Richard Ryan WilliamsMITAdresse e-mail validée de mit.edu
Ramón Béjar TorresUniversity of LleidaAdresse e-mail validée de udl.cat
Carmel DomshlakProfessor, TechnionAdresse e-mail validée de ie.technion.ac.il
Michael KearnsProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Stuart RussellProfessor of Computer Science, University of California, BerkeleyAdresse e-mail validée de cs.berkeley.edu
Carlos AnsóteguiUniversity of LleidaAdresse e-mail validée de diei.udl.cat
Willem-Jan van HoeveProfessor of Operations Research, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu

Suivre

Bart Selman

Professor of Computer Science, Cornell University

Adresse e-mail validée de cs.cornell.edu - Page d'accueil

Artificial Intelligence


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2459	1996
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1605	1992
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1563	1997
Hard and easy distributions of SAT problems D Mitchell, B Selman, H Levesque Aaai 92, 459-465, 1992	1418	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	1336	1996
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994	1318	1994
Determining computational complexity from characteristic ‘phase transitions’ R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky Nature 400 (6740), 133-137, 1999	1025	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	1000	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998	933	1998
Support vector machines: Theory and applications T Evgeniou, M Pontil Advanced course on artificial intelligence, 249-257, 1999	828*	1999
Understanding batch normalization N Bjorck, CP Gomes, B Selman, KQ Weinberger Advances in neural information processing systems 31, 2018	808	2018
Message filtering techniques LM Canale, HA Kautz, AE Milewski, B Selman US Patent 5,619,648, 1997	794	1997
Critical behavior in the satisfiability of random boolean expressions S Kirkpatrick, B Selman Science 264 (5163), 1297-1301, 1994	786	1994
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	742	2012
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	739	1999
Algorithm portfolios CP Gomes, B Selman Artificial Intelligence 126 (1-2), 43-62, 2001	601	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	560	1997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems B Selman, H Kautz IJCAI 93, 290-295, 1993	519	1993
The hidden web H Kautz, B Selman, M Shah AI magazine 18 (2), 27-27, 1997	504	1997

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs