Parallel Satisfiability

待确认

文献求助详情

标题	Parallel Satisfiability
网址	http://link.springer.com/content/pdf/10.1007/978-3-319-63516...
DOI	10.1007/978-3-319-63516-3_1 doi
其它	期刊：Handbook of Parallel Constraint Reasoning 作者：Tomás Balyo; C. Sinz 出版日期：2018-01-01
求助人	stricer 在 2026-07-17 18:57:48 发布自北京，悬赏 10 积分
下载

上个求助

下个求助

提交工单

求助 / 应助时间线

请等待求助人确认

已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。
8小时前

cdercder Lv12 上传了文件

待审核 978-3-319-63516-3_1.pdf (1.15 MB)

温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请提交工单反馈。
8小时前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

18:57:53 未找到该文献，机器人已退出，请等待人工下载

18:57:50 科研通AI机器人（日本东京）收到请求，开始寻找文献

18:57:48 已向机器人发送请求
8小时前

stricer Lv1 求助人发起了本次求助

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 朴实的新柔完成签到，获得积分10

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

19秒前; 落尘府完成签到，获得积分10

20秒前; 美丽的沛菡完成签到，获得积分10

48秒前; 科研通AI6.3的应助被长情的语风采纳，获得10

54秒前; 丁丁车完成签到，获得积分10

1分钟前; 科研通AI6.3上传了应助文件

1分钟前; 长情的语风发布了新的文献求助10

1分钟前; 我眼里的雨完成签到，获得积分10

1分钟前; 奋斗的枫叶完成签到，获得积分10

1分钟前; 认真不可完成签到，获得积分10

2分钟前; CJH104完成签到，获得积分10

2分钟前; 科研通AI6.2上传了应助文件

2分钟前; LDDD发布了新的文献求助30

2分钟前; 光亮豌豆完成签到，获得积分10

2分钟前; 科研通AI6.2的应助被长情的语风采纳，获得10

2分钟前; 不想起床完成签到，获得积分10

2分钟前; 科研通AI6.2上传了应助文件

3分钟前; 长情的语风发布了新的文献求助10

3分钟前; 科研通管家关闭了ODN的文献求助

3分钟前; 隐形曼青的应助被科研通管家采纳，获得10

3分钟前; 科研通管家关闭了zhaochenyu的文献求助

3分钟前; Chan完成签到，获得积分10

4分钟前; 梓镱儿完成签到，获得积分10

5分钟前; kevinave完成签到，获得积分10

5分钟前; 科研通AI6.3的应助被长情的语风采纳，获得10

5分钟前; nowss完成签到，获得积分10

6分钟前; juan完成签到，获得积分10

6分钟前; 369ninja发布了新的文献求助10

6分钟前; 白华苍松驳回了科研通AI6.4的应助

6分钟前; 烟花的应助被白华苍松采纳，获得10

6分钟前; lin123完成签到，获得积分10

7分钟前; 科研通AI6.3上传了应助文件

7分钟前; 长情的语风发布了新的文献求助10

7分钟前; 科研通AI6.2的应助被长情的语风采纳，获得10

8分钟前; 彭于晏的应助被LDDD采纳，获得30

8分钟前; 彩色甜瓜完成签到，获得积分10

8分钟前; siyi完成签到，获得积分10

9分钟前; 科研通AI6.2上传了应助文件

9分钟前; 长情的语风发布了新的文献求助10

9分钟前