Bart Selman

Citata da

	Tutte	Dal 2019
Citazioni	34454	6994
Indice H	77	37
i10-index	177	94

1600

800

400

1200

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024174 91 203 263 304 528 502 603 863 961 1069 1012 1205 1207 1295 1277 1493 1516 1280 1259 1196 1346 1346 1318 1165 1270 1077 1048 1058 1212 1359 1200 1188 970

Accesso pubblico

Visualizza tutto

13 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

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

Segui

Bart Selman

Professor of Computer Science, Cornell University

Email verificata su cs.cornell.edu - Home page

Artificial Intelligence


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2464	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	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	1341	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	1006	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998	935	1998
Understanding batch normalization N Bjorck, CP Gomes, B Selman, KQ Weinberger Advances in neural information processing systems 31, 2018	857	2018
Support vector machines: Theory and applications T Evgeniou, M Pontil Advanced course on artificial intelligence, 249-257, 1999	856*	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	745	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	560	1997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems B Selman, H Kautz IJCAI 93, 290-295, 1993	521	1993
The hidden web H Kautz, B Selman, M Shah AI magazine 18 (2), 27-27, 1997	505	1997

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori