A comprehensive study and analysis on SAT-solvers: advances, usages and achievements

已完结

文献求助详情

标题	A comprehensive study and analysis on SAT-solvers: advances, usages and achievements SAT-solvers的研究与分析：进展、应用与成果相关领域计算机科学布尔可满足性问题启发式解算器可满足性理论计算机科学约束满足问题最大可满足性问题并行计算布尔函数程序设计语言算法人工智能概率逻辑操作系统
网址	https://doi.org/10.1007/s10462-018-9628-0
DOI	10.1007/s10462-018-9628-0 doi
其它	期刊：Artificial Intelligence Review 作者：Sahel Alouneh; Sa’ed Abed; Mohammad H. Al Shayeji; Raed Mesleh 出版日期：2018-03-28
求助人	Co 在 2024-08-16 14:38:30 发布自四川，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

关注科研痛点，打通你的七经六脉

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

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

更新

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

更新

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

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

实时播报: 123完成签到，获得积分10

刚刚; 傻傻的如之完成签到，获得积分10

1秒前; 微笑发布了新的文献求助10

1秒前; i萝莉发布了新的文献求助30

1秒前; 进击的研狗发布了新的文献求助20

2秒前; orixero上传了应助文件

2秒前; 机灵水卉完成签到，获得积分10

2秒前; 路边一颗小草发布了新的文献求助10

2秒前; 不错哟小伙子发布了新的文献求助10

2秒前; leezcc完成签到，获得积分0

2秒前; 自然秋柳发布了新的文献求助10

2秒前; 不配.的应助被发发蝶蝶采纳，获得10

3秒前; lalala上传了应助文件

3秒前; 壮观的幻柏完成签到，获得积分10

3秒前; 吐司发布了新的文献求助10

3秒前; zwq发布了新的文献求助10

4秒前; 无私石头完成签到，获得积分10

5秒前; 133发布了新的文献求助10

5秒前; HEIKU的应助被梵天采纳，获得10

5秒前; 醉熏的文轩完成签到，获得积分10

5秒前; CH发布了新的文献求助10

6秒前; 李爱国的应助被跳跃碧灵采纳，获得10

6秒前; 猴猴相聚猩猩相惜完成签到，获得积分10

6秒前; 山山而川完成签到，获得积分10

6秒前; 在水一方的应助被冰糕采纳，获得10

7秒前; 俊逸山芙上传了应助文件

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

8秒前; 上官若男上传了应助文件

9秒前; Ava的应助被黑咖喱采纳，获得10

10秒前; 李健的小迷弟上传了应助文件

10秒前; 今后上传了应助文件

10秒前; 大个的应助被scl采纳，获得10

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

11秒前; Ava的应助被迷人雪碧采纳，获得10

11秒前; 鲜榨白开水完成签到，获得积分10

12秒前; 啦啦啦完成签到，获得积分10

12秒前; 小马甲的应助被zli采纳，获得10

12秒前; Jasper上传了应助文件

13秒前; kacey发布了新的文献求助10

13秒前; 情怀上传了应助文件

13秒前