| 标题 |
 Are Short Proofs Narrow? QBF Resolution Is Not So Simple 相关领域
分辨率（逻辑）
数学
数学证明
上下界
证明复杂性
简单（哲学）
空格（标点符号）
树（集合论）
扩展（谓词逻辑）
离散数学
算法
组合数学
数学分析
计算机科学
几何学
哲学
认识论
程序设计语言
人工智能
操作系统
|
| 网址 | |
| DOI | |
| 其它 |
期刊：ACM Transactions on Computational Logic 作者：Olaf Beyersdorff; Leroy Chew; Meena Mahajan; Anil Shukla 出版日期：2017-12-21 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
Criminology34
小小
tuanheqi
且慢
Zhusfeng
风清扬
无极微光
jyy
6666
yyds
昏睡的蟠桃
精明浩然
归尘
eric888
迷途小书童
Hayat
AN
nn
Mic
优美紫槐
dawnfrf
孤独的不凡
MchemG
WebCasa
皖公网安备34019202002308
