Bart Selman

Cytowane przez

	Wszystkie	Od 2019
Cytowania	34262	6822
h-indeks	77	37
i10-indeks	177	94

1600

800

400

1200

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024174 89 203 263 304 528 502 603 863 962 1069 1012 1205 1208 1294 1277 1494 1516 1280 1259 1194 1341 1347 1318 1165 1269 1076 1045 1055 1212 1358 1191 1194 807

Dostęp publiczny

Wyświetl wszystko

13 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

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

Obserwuj

Bart Selman

Professor of Computer Science, Cornell University

Zweryfikowany adres z cs.cornell.edu - Strona główna

Artificial Intelligence


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2460	1996
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1606	1992
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1562	1997
Hard and easy distributions of SAT problems D Mitchell, B Selman, H Levesque Aaai 92, 459-465, 1992	1417	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	1338	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	1026	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	1002	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	835*	1999
Understanding batch normalization N Bjorck, CP Gomes, B Selman, KQ Weinberger Advances in neural information processing systems 31, 2018	819	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	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	742	2012
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	738	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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy