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

Fan Xiao

机构信息待补充

4H指数
11论文数
101被引数
收录论文 2
发表时间
logo
Clause vivification by unit propagation in CDCL SAT solvers
errartificial intelligence review
IF4.6
err2020-02-01
err17
errOAAI
errLi, Chu-Min; Xiao, Fan; Luo, Mao; Manya, Felip; Lu, Zhipeng; Li, Yu
err分享
err收藏
A branching heuristic for SAT solvers based on complete implication graphs
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2019-04-17
err9
PREAI
errXiao, Fan; Li, Chu-Min; Luo, Mao; Manya, Felip; Lu, Zhipeng; Li, Yu
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Yu Li
H 指数: 43 · 论文数: 624
Z
Zhipeng Lü
H 指数: 26 · 论文数: 132
F
Felip Manyà
H 指数: 26 · 论文数: 162
C
Chu-Min Li
H 指数: 20 · 论文数: 127
Z
Zhipeng Lü
H 指数: 6 · 论文数: 31
查看更多