Bart Selman

Citeras av

	Alla	Sedan 2019
Citat	34522	7044
h-index	77	37
i10-index	177	94

1600

800

400

1200

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024174 91 203 264 304 528 502 603 863 961 1068 1012 1205 1209 1295 1278 1494 1516 1279 1254 1204 1345 1352 1318 1165 1269 1078 1047 1060 1212 1360 1200 1191 1014

Offentlig åtkomst

Visa alla

13 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

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

Följ

Bart Selman

Professor of Computer Science, Cornell University

Verifierad e-postadress på cs.cornell.edu - Startsida

Artificial Intelligence


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2466	1996
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1614	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	1422	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	1342	1996
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994	1324	1994
Determining computational complexity from characteristic ‘phase transitions’ R Monasson, R Zecchina, S Kirkpatrick, B Selman, L Troyansky Nature 400 (6740), 133-137, 1999	1028	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	1007	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998	936	1998
Understanding batch normalization N Bjorck, CP Gomes, B Selman, KQ Weinberger Advances in neural information processing systems 31, 2018	870	2018
Support vector machines: Theory and applications T Evgeniou, M Pontil Advanced course on artificial intelligence, 249-257, 1999	866*	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	787	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	747	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	603	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	561	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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare