SATIRE: A new incremental satisfiability engine

求助中

文献求助详情

标题	SATIRE: A new incremental satisfiability engine
网址	https://doi.org/10.1109/dac.2001.935567
DOI	10.1109/dac.2001.935567 doi
其它	期刊：Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) 作者：J. Whittemore; J. Kim; K. Sakallah 出版日期：2001
求助人	小巧芝麻在 2026-06-16 19:24:13 发布自四川，悬赏 10 积分
下载	暂无链接，等待应助者上传

上个求助

下个求助

提交工单

求助 / 应助时间线

现在，等待您上传文献

对不起，您需要登录才可以上传文件。
进入登录页面
13小时前

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

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

19:24:15 科研通AI机器人（新加坡）收到请求，开始寻找文献

19:24:13 已向机器人发送请求
13小时前

小巧芝麻 Lv1 求助人发起了本次求助

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

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 六水居士完成签到，获得积分10

刚刚; 情怀的应助被李昌连采纳，获得10

1秒前; 阳光的竺完成签到，获得积分10

1秒前; 斑马不一般完成签到，获得积分10

2秒前; 求知完成签到，获得积分10

2秒前; 蜜CC发布了新的文献求助10

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

3秒前; 领导范儿上传了应助文件

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

3秒前; 阿金是学术渣渣发布了新的文献求助10

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

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

4秒前; 维生素完成签到，获得积分10

4秒前; NexusExplorer上传了应助文件

4秒前; 昏睡的凌香完成签到，获得积分10

5秒前; 思念变成王年年完成签到，获得积分10

5秒前; 畔畔上传了应助文件

5秒前; 光亮雨完成签到，获得积分10

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

5秒前; 糟糕的日记本完成签到，获得积分10

6秒前; 怡然安南完成签到，获得积分10

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

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

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

6秒前; 小鱼儿完成签到，获得积分10

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

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

7秒前; 跳跃语蝶发布了新的文献求助10

7秒前; 刘文辉完成签到，获得积分10

7秒前; SciGPT上传了应助文件

8秒前; 俊逸的问兰完成签到，获得积分10

8秒前; 核潜艇很优秀完成签到，获得积分0

9秒前; 李健的粉丝团团长的应助被cL采纳，获得10

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

9秒前; 无言完成签到，获得积分10

10秒前; 乐乐的应助被初遇之时最暖采纳，获得10

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

10秒前; 科研通AI6.1上传了应助文件

10秒前; 阿金是学术渣渣完成签到，获得积分10

11秒前; 没出门完成签到，获得积分10

12秒前