Bart Selman

Cited by

	All	Since 2020
Citations	34757	6185
h-index	77	35
i10-index	177	87

1600

800

400

1200

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025174 91 203 264 304 528 503 600 863 961 1073 1012 1217 1212 1296 1265 1500 1518 1282 1253 1200 1350 1356 1324 1163 1270 1083 1049 1061 1213 1359 1206 1195 1120 92

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

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

Bart Selman

Professor of Computer Science, Cornell University

Verified email at cs.cornell.edu - Homepage

Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2489	1996
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1619	1992
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1565	1997
Hard and easy distributions of SAT problems D Mitchell, B Selman, H Levesque Aaai 92, 459-465, 1992	1428	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	1346	1996
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994	1328	1994
Determining computational complexity from characteristic ‘phase transitions’ R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky Nature 400 (6740), 133-137, 1999	1034	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	1011	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998	941	1998
Understanding batch normalization N Bjorck, CP Gomes, B Selman, KQ Weinberger Advances in neural information processing systems 31, 2018	904	2018
Support vector machines: Theory and applications T Evgeniou, M Pontil Advanced course on artificial intelligence, 249-257, 1999	897*	1999
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	792	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	753	2012
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	743	1999
Algorithm portfolios CP Gomes, B Selman Artificial Intelligence 126 (1-2), 43-62, 2001	608	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	593	2000
Evidence for invariants in local search D McAllester, B Selman, H Kautz AAAI/IAAI, 321-326, 1997	563	1997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems B Selman, H Kautz IJCAI 93, 290-295, 1993	523	1993
The hidden web H Kautz, B Selman, M Shah AI magazine 18 (2), 27-27, 1997	506	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors