Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT

已关闭

文献求助详情

标题	Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT 用于自动定理证明的机器学习：学习解决SAT和QSAT 相关领域交叉口（航空）计算机科学自动定理证明启发式可满足性机器学习领域（数学分析）人工智能算法数学数学分析工程类航空航天工程
网址	https://doi.org/10.1561/9781680838992 AI链接 ac.uk ac.ukdoi.org
DOI	10.1561/9781680838992 doi
其它	期刊：作者：Sean B. Holden 出版日期：2021-01-01
求助人	Co 在 2024-06-13 14:47:00 发布自辽宁，悬赏 10 积分
下载
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

求助 / 应助时间线

4个月前，求助关闭

科研通管家机器人关闭了本次求助。

说明您的求助为[书籍]，需要最低积分：200。您的求助积分为10，不符合要求，系统已关闭求助退还积分。如有需要，请重新设置积分【积分已退回】
4个月前

Co 求助人 Lv11 发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 我是老大的应助被啦啦小王～采纳，获得10

刚刚; 13478404761发布了新的文献求助10

6秒前; 传奇3的应助被端庄洪纲采纳，获得10

6秒前; CipherSage的应助被zxx采纳，获得10

8秒前; Hello的应助被闪闪糖豆采纳，获得10

10秒前; 科研通AI2.0上传了应助文件

10秒前; 丰知然上传了应助文件

11秒前; 传奇3上传了应助文件

11秒前; 丰知然的应助被全球采纳，获得10

12秒前; 爆米花的应助被乐乐采纳，获得10

14秒前; Lucas上传了应助文件

14秒前; 酷波er的应助被霍三石采纳，获得10

15秒前; 汪汪发布了新的文献求助10

16秒前; 科研通AI2S上传了应助文件

18秒前; Aprilapple发布了新的文献求助10

19秒前; 搜集达人上传了应助文件

20秒前; sciscisci完成签到，获得积分10

21秒前; 思源上传了应助文件

22秒前; 哆啦A榕完成签到，获得积分10

22秒前; 姚子敏发布了新的文献求助10

23秒前; yuliuism完成签到，获得积分10

23秒前; 年轻鸡翅发布了新的文献求助20

24秒前; 斯文富发布了新的文献求助10

25秒前; 852上传了应助文件

25秒前; 是琳不是林发布了新的文献求助10

25秒前; SCINEXUS上传了应助文件

25秒前; bubble嘞完成签到，获得积分10

26秒前; 雪山完成签到，获得积分0

27秒前; 小小肖完成签到，获得积分10

28秒前; lxj发布了新的文献求助10

28秒前; 椿上春树发布了新的文献求助10

28秒前; Aprilapple完成签到，获得积分10

30秒前; 体贴书竹上传了应助文件

32秒前; 酷波er上传了应助文件

32秒前; 13478404761发布了新的文献求助10

33秒前; wanci上传了应助文件

34秒前; GQ完成签到，获得积分10

35秒前; sxp1031驳回了烟花的应助

35秒前; maofeifei完成签到，获得积分10

36秒前; 仁爱觅风完成签到，获得积分10

36秒前