Cube-and-Conquer for Satisfiability

已完结

文献求助详情

标题	书籍（章节） Cube-and-Conquer for Satisfiability 相关领域立方体（代数）可满足性计算机科学分而治之算法理论计算机科学并行计算程序设计语言组合数学数学
网址	http://link.springer.com/content/pdf/10.1007/978-3-319-63516...
DOI	10.1007/978-3-319-63516-3_2 doi
其它	期刊：Handbook of Parallel Constraint Reasoning 作者：Marijn J. H. Heule; Oliver Kullmann; Armin Biere 出版日期：2018-04-05
求助人	stricer 在 2026-07-15 09:59:35 发布自北京，悬赏 30 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

Society for Industrial and Applied Mathematics (SIAM)

提交工单

该求助已完结，感谢关注

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

在科研通，轻松享有文献下载的自由

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

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

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

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

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

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

1秒前; 医路前行完成签到，获得积分10

1秒前; 方方完成签到，获得积分10

4秒前; 胖胖完成签到，获得积分0

4秒前; 完美世界的应助被ukmy采纳，获得10

5秒前; 赘婿的应助被涵霸天采纳，获得10

5秒前; lsbrc完成签到，获得积分10

7秒前; July完成签到，获得积分10

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

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

13秒前; wenhui完成签到，获得积分10

15秒前; i2stay完成签到，获得积分0

18秒前; roro熊完成签到，获得积分10

18秒前; 可爱的函函上传了应助文件

21秒前; 哈牛发布了新的文献求助10

26秒前; Blank完成签到，获得积分10

27秒前; 风雅络完成签到，获得积分10

29秒前; David发布了新的文献求助10

29秒前; B_lue完成签到，获得积分10

32秒前; 小井盖完成签到，获得积分10

34秒前; 调皮的代双完成签到，获得积分10

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

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

36秒前; Shayy完成签到，获得积分10

39秒前; Enigma_GEB上传了应助文件

39秒前; David完成签到，获得积分10

45秒前; 不知完成签到，获得积分10

46秒前; tigger完成签到，获得积分10

46秒前; 凶狠的映易完成签到，获得积分10

47秒前; 瑞rui完成签到，获得积分10

48秒前; 独自开朗完成签到，获得积分10

49秒前; nnnnnnn完成签到，获得积分10

53秒前; gggrit完成签到，获得积分10

54秒前; 优雅莞完成签到，获得积分10

56秒前; gggrit关注了科研通微信公众号

58秒前; 凉风送信完成签到，获得积分10

58秒前; 天宇完成签到，获得积分10

59秒前; David完成签到，获得积分10

1分钟前; 六六完成签到，获得积分10

1分钟前; 闪闪网络完成签到，获得积分10

1分钟前