科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
B
Barcelogic.Com
学者数
1
论文数
1
被引数
0
关联论文
(1)
发表时间
发表时间
IF
被引数
Using Execution Logs for Improving Pseudo-Boolean Propagation
利用执行日志改进伪布尔传播
Artificial Intelligence
IF
4.6
2025-12-18
0
OA
AI
Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell; Rui Zhao
分享
收藏