Automating Regular or Ordered Resolution is NP-Hard
Automating Regular or Ordered Resolution is NP-Hard
复制标题
自动执行常规或有序解析是 NP 困难的
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Bell, Zoe
中科院分区：
文献类型：
--
作者：
Bell, Zoe
登录
查看更多内容
简短的证明很难找到
影响因子：
10.6
作者：
Ian Mertz;T. Pitassi;Yuanhao Wei
通讯作者：
Yuanhao Wei
最小命题证明长度是 NP 难线性近似的
影响因子：
0.6
作者：
Michael Alekhnovich;S. Buss;S. Moran;T. Pitassi
通讯作者：
T. Pitassi
影响因子：
0.6
作者：
A. Urquhart
通讯作者：
A. Urquhart
自动化切割平面是 NP 困难的
DOI：
10.1145/3357713.3384248
发表时间：
2020
期刊：
STOC 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing
影响因子：
--
作者：
Göös, M;Koroth, S;Mertz, I;Pitassi, T.
通讯作者：
Pitassi, T.
寻找短分辨率证明的复杂性
影响因子：
0.6
作者：
K. Iwama
通讯作者：
K. Iwama