Bart Selman

Cited by

	All	Since 2016
Citations	30051	6261
h-index	74	36
i10-index	172	99

1500

750

375

1125

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021171 88 178 271 310 504 486 554 836 973 1040 973 1203 1192 1261 1271 1497 1489 1295 1280 1184 1358 1355 1278 1190 1246 1138 1105 1203 1250 318

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Henry KautzProfessor 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 UniversityVerified 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
Eric HorvitzMicrosoft ResearchVerified email at microsoft.com
Ashutosh SaxenaCEO, Caspar.AI; Former Faculty, Computer Science, Cornell University. Stanford UniversityVerified email at cs.cornell.edu
Jaeyong SungStanford UniversityVerified email at cs.stanford.edu
Bhaskar KrishnamachariProfessor of Electrical and Computer Engineering, and Computer Science, University of SouthernVerified email at usc.edu
Nuno CratoProfessor of Mathematics and Statistics, ISEG, University of LisbonVerified email at iseg.ulisboa.pt
Ramón Béjar TorresUniversity of LleidaVerified email at diei.udl.cat
Cèsar FernándezComputer Science Dpt. University of LleidaVerified email at diei.udl.cat
Brian KulisAssociate Professor, Boston UniversityVerified email at bu.edu
Bruce van DoverProfessor of Materials Science, Cornell UniversityVerified email at cornell.edu
Stuart RussellProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Richard Ryan WilliamsMITVerified email at mit.edu
Michael KearnsProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Carmel DomshlakProfessor, TechnionVerified email at ie.technion.ac.il
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	2229	1996
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1465	1997
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1374	1992
Hard and easy distributions of SAT problems D Mitchell, B Selman, H Levesque AAAI 92, 459-465, 1992	1291	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	1250	1996
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994	1226	1994
Determining computational complexity from characteristic ‘phase transitions’ R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky Nature 400 (6740), 133-137, 1999	915	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	907	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98, 431-437, 1998	839	1998
Message filtering techniques LM Canale, HA Kautz, AE Milewski, B Selman US Patent 5,619,648, 1997	790	1997
Critical behavior in the satisfiability of random boolean expressions S Kirkpatrick, B Selman Science 264 (5163), 1297-1301, 1994	712	1994
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	678	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	600	2012
Evidence for invariants in local search D McAllester, B Selman, H Kautz AAAI/IAAI, 321-326, 1997	527	1997
Algorithm portfolios CP Gomes, B Selman Artificial Intelligence 126 (1-2), 43-62, 2001	513	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	509	2000
Research priorities for robust and beneficial artificial intelligence S Russell, D Dewey, M Tegmark Ai Magazine 36 (4), 105-114, 2015	493	2015
The hidden web H Kautz, B Selman, M Shah AI magazine 18 (2), 27-27, 1997	491	1997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems B Selman, H Kautz IJCAI 93, 290-295, 1993	480	1993
Encoding plans in propositional logic H Kautz, D McAllester, B Selman KR 96, 374-384, 1996	434	1996

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

Upload PDF

Follow this author

Cited by

Co-authors