Bart Selman 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	33970	6507
h 指数	76	36
i10 指数	177	90

1600

800

400

1200

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024173 92 205 264 311 526 497 601 861 979 1073 1004 1196 1207 1287 1280 1492 1517 1276 1269 1203 1348 1353 1314 1187 1256 1088 1040 1079 1226 1355 1205 1179 459

开放获取的出版物数量

查看全部

13 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Henry KautzProfessor Emeritus of Computer Science, University of Rochester在 cs.rochester.edu 的电子邮件经过验证
Ashish SabharwalAllen Institute for AI (AI2)在 allenai.org 的电子邮件经过验证
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)在 cs.uni-saarland.de 的电子邮件经过验证
David McAllesterProfessor, Toyota Technological Institute at Chicago在 ttic.edu 的电子邮件经过验证
Riccardo Zecchinaprofessor, theoretical physics, Bocconi University在 unibocconi.it 的电子邮件经过验证
Ashutosh SaxenaFormer Faculty, Computer Science, Cornell University. Stanford University在 cs.stanford.edu 的电子邮件经过验证
Eric HorvitzMicrosoft在 microsoft.com 的电子邮件经过验证
Jaeyong SungStanford University在 cs.stanford.edu 的电子邮件经过验证
Nuno CratoProfessor of Mathematics and Statistics, ISEG, University of Lisbon在 iseg.ulisboa.pt 的电子邮件经过验证
Bhaskar KrishnamachariProfessor of Electrical and Computer Engineering, and Computer Science, USC在 usc.edu 的电子邮件经过验证
Bruce van DoverProfessor of Materials Science, Cornell University在 cornell.edu 的电子邮件经过验证
Brian KulisAssociate Professor at Boston University & Amazon Scholar在 bu.edu 的电子邮件经过验证
Cèsar FernándezComputer Science Dpt. University of Lleida在 diei.udl.cat 的电子邮件经过验证
Richard Ryan WilliamsMIT在 mit.edu 的电子邮件经过验证
Ramón Béjar TorresUniversity of Lleida在 udl.cat 的电子邮件经过验证
Carmel DomshlakProfessor, Technion在 ie.technion.ac.il 的电子邮件经过验证
Michael KearnsProfessor of Computer Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Stuart RussellProfessor of Computer Science, University of California, Berkeley在 cs.berkeley.edu 的电子邮件经过验证
Carlos AnsóteguiUniversity of Lleida在 diei.udl.cat 的电子邮件经过验证
Willem-Jan van HoeveProfessor of Operations Research, Carnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证

关注

Bart Selman

Professor of Computer Science, Cornell University

在 cs.cornell.edu 的电子邮件经过验证 - 首页

Artificial Intelligence


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Generating hard satisfiability problems B Selman, DG Mitchell, HJ Levesque Artificial intelligence 81 (1-2), 17-29, 1996	2438	1996
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1590	1992
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1549	1997
Hard and easy distributions of SAT problems D Mitchell, B Selman, H Levesque Aaai 92, 459-465, 1992	1414	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	1334	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	1016	1999
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	996	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998	931	1998
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	793	1997
Critical behavior in the satisfiability of random boolean expressions S Kirkpatrick, B Selman Science 264 (5163), 1297-1301, 1994	777	1994
Understanding batch normalization N Bjorck, CP Gomes, B Selman, KQ Weinberger Advances in neural information processing systems 31, 2018	742	2018
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	741	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	732	2012
Algorithm portfolios CP Gomes, B Selman Artificial Intelligence 126 (1-2), 43-62, 2001	598	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	562	1997
Domain-independent extensions to GSAT: Solving large structured satisfiability problems B Selman, H Kautz IJCAI 93, 290-295, 1993	518	1993
The hidden web H Kautz, B Selman, M Shah AI magazine 18 (2), 27-27, 1997	503	1997

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用