logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
B

Bart Selman

Cornell University

58H指数
235论文数
1.8W被引数
收录论文 10
发表时间
logo
SKI-SAT: A CMOS-Compatible Hardware for Solving SAT ProblemsSKI-SAT: 一种用于解决SAT问题的CMOS兼容硬件
errIEEE Transactions on Circuits and Systems I: Regular Papers
IF0
err2025-01-01
err0
PREAI
errAhmet Yusuf Salim; Bart Selman; Henry Kautz; Zeljko Ignjatovic; Selçuk Köse
err分享
err收藏
Computational Sustainability: Computing for a Better World and a Sustainable Future
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-08-21
err67
errOAAI
errGomes, Carla; Dietterich, Thomas; Barrett, Christopher; Conrad, Jon; Dilkina, Bistra; Ermon, Stefano; Fang, Fei; Farnsworth, Andrew; Fern, Alan; Fern, Xiaoli; Fink, Daniel; Fisher, Douglas; Flecker, Alexander; Freund, Daniel; Fuller, Angela; Gregoire, John; Hoperoft, John; Kelling, Steve; Kolter, Zico; Powell, Warren; Sintov, Nicole; Selker, John; Selman, Bart; Sheldon, Daniel; Shmoys, David; Tambe, Milind; Wong, Weng-Keen; Wood, Christopher; Wu, Xiaojian; Xue, Yexiang; Yadav, Amulya; Yakubu, Abdul-Aziz; Zeeman, Mary Lou
err分享
err收藏
Sensor networks and distributed CSP:: communication, computation and complexity
errartificial intelligence review
IF4.6
err2005-01-01
err48
PREAI
errBéjar, R; Domshlak, C; Fernández, C; Gomes, C; Krishnamachari, B; Selman, B; Valls, M
err分享
err收藏
Algorithm portfolios
errartificial intelligence review
IF4.6
err2001-02-01
err274
errOAAI
errGomes, CP; Selman, B
err分享
err收藏
Referral web: Combining social networks and collaborative filtering
errCOMMUNICATIONS OF THE ACM
IF12.2
err1997-03-01
err563
errOAAI
errKautz, H; Selman, B; Shah, M
err分享
err收藏
Critical behavior in the computational cost of satisfiability testing
errartificial intelligence review
IF4.6
err1996-03-01
err78
errOAAI
errSelman, B; Kirkpatrick, S
err分享
err收藏
Generating hard satisfiability problems
errartificial intelligence review
IF4.6
err1996-03-01
err183
errOAAI
errSelman, B; Mitchell, DG; Levesque, HJ
err分享
err收藏
BOTTOM-UP DESIGN OF SOFTWARE AGENTS
errCOMMUNICATIONS OF THE ACM
IF12.2
err1994-07-01
err17
errOAAI
errKAUTZ, HA; SELMAN, B; COEN, M
err分享
err收藏
HARD PROBLEMS FOR SIMPLE DEFAULT LOGICS
errartificial intelligence review
IF4.6
err1991-05-01
err54
PREAI
errKAUTZ, HA; SELMAN, B
err分享
err收藏
MODEL-PREFERENCE DEFAULT THEORIES
errartificial intelligence review
IF4.6
err1990-10-01
err11
PREAI
errSELMAN, B; KAUTZ, HA
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Christopher B. Barrett
H 指数: 102 · 论文数: 936
B
Bhaskar Krishnamachari
H 指数: 75 · 论文数: 614
M
Milind Tambe
H 指数: 74 · 论文数: 843
W
Warren B. Powell
H 指数: 71 · 论文数: 478
T
Thomas G. Dietterich
H 指数: 67 · 论文数: 297
查看更多