SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
NP-Completeness of Refutability by Literal-Once Resolution
作者
Stefan Szeider
出处
期刊：
Lecture Notes in Computer Science
[Springer Science+Business Media]
日期：2001-01-01
卷期号：: 168-181
被引量：19
链接
psu.edu
psu.edu
doi.org
标识
DOI：10.1007/3-540-45744-5_13
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
lily
完成签到，获得积分
10
刚刚
完美世界
的
应助
被
科研通管家
采纳，获得
10
刚刚
HarryQ
完成签到，获得积分
10
刚刚
完美世界
的
应助
被
科研通管家
采纳，获得
10
刚刚
xing_xing
上传了
应助文件
刚刚
v0id
的
应助
被
科研通管家
采纳，获得
10
刚刚
盘菜
的
应助
被
科研通管家
采纳，获得
10
1秒前
xing_xing
的
应助
被
科研通管家
采纳，获得
20
1秒前
汉堡包
的
应助
被
科研通管家
采纳，获得
30
1秒前
jinzhen
发布了新的
文献求助
10
1秒前
烽火
的
应助
被
科研通管家
采纳，获得
10
1秒前
123
发布了新的
文献求助
10
1秒前
香蕉觅云
的
应助
被
科研通管家
采纳，获得
10
1秒前
顾矜
的
应助
被
科研通管家
采纳，获得
10
2秒前
彭于晏
的
应助
被
科研通管家
采纳，获得
10
2秒前
研友_VZG7GZ
的
应助
被
科研通管家
采纳，获得
10
2秒前
Owen
的
应助
被
科研通管家
采纳，获得
10
2秒前
Ava
的
应助
被
科研通管家
采纳，获得
10
2秒前
华仔
的
应助
被
科研通管家
采纳，获得
10
2秒前
NexusExplorer
的
应助
被
科研通管家
采纳，获得
10
3秒前
科研通管家
关闭了
wang
的
文献求助
3秒前
汉堡包
的
应助
被
称心钥匙
采纳，获得
10
3秒前
科研通AI6.3
的
应助
被
科研通管家
采纳，获得
10
3秒前
zxx
完成签到，获得积分
10
3秒前
华仔
上传了
应助文件
3秒前
传统的盈
发布了新的
文献求助
10
4秒前
打打
上传了
应助文件
5秒前
带上琳的眼睛
上传了
应助文件
5秒前
天天快乐
上传了
应助文件
6秒前
刘萍
完成签到
，获得积分
10
7秒前
1104481279
的
应助
被
章山蝶
采纳，获得
10
8秒前
汉堡包
上传了
应助文件
8秒前
天天快乐
的
应助
被
大鹅
采纳，获得
10
8秒前
在水一方
的
应助
被
悄悄
采纳，获得
10
9秒前
WSH
发布了新的
文献求助
30
9秒前
薛定谔的猫
发布了新的
文献求助
10
9秒前
ZZH
发布了新的
文献求助
10
10秒前
1104481279
的
应助
被
yuan
采纳，获得
10
11秒前
JJJ
完成签到，获得积分
10
11秒前
打打
上传了
应助文件
12秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Römisch-Germanische Forschungen
1000
China Pluperfect I: Epistemology of Past and Outside in Chinese Art
520
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
The fast track to determining transfer functions of linear circuits: The student guide
500
The Analytical and Numerical Solution of Electric and Magnetic Fields
500
Green Fire Retardants for Polymeric Materials
400
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7615182
求助须知：如何正确求助？哪些是违规求助？
9190449
关于积分的说明
19692131
捐赠科研通
7187731
什么是DOI，文献DOI怎么找？
3271244
关于科研通互助平台的介绍
2434530
邀请新用户注册赠送积分活动
2266372
今日热心研友
Nole
300
2740
张欢馨
279
2700
cdercder
225
1530
yjh123
92
2590
东方元语
108
1310
OK
2220
Kao
140
790
1104481279
133
750
woshi123
53
1180
科研狗
36
1260
aajhajkahna
79
740
ddd
86
650
行走的荷尔蒙
47
1030
xing_xing
52
970
Criminology34
57
720
飞快的慕山
85
420
ming2026
74
480
OCDer
1000
天晴
39
590
学术文献互助
880
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
Nole
张欢馨
cdercder
yjh123
东方元语
OK
Kao
1104481279
woshi123
科研狗
aajhajkahna
ddd
行走的荷尔蒙
xing_xing
Criminology34
飞快的慕山
ming2026
OCDer
天晴
学术文献互助
皖公网安备34019202002308
