Stabbing Planes

Stabbing Planes
复制标题

刺击飞机

DOI:
10.48550/arxiv.1710.03219
复制
发表时间:
2022
期刊:
ArXivorg
影响因子:
--
通讯作者:
Robere, Robert
Robere, Robert
中科院分区:
--
文献类型:
--
作者:
Beame, Paul;Fleming, Noah;Impagliazzo, Russell;Pankratov, Denis;Pitassi, Toniann;Robere, Robert

文献摘要

参考文献

被引文献

相似文献

语义剖切面与句法剖切面
DOI: --
发表时间: 2016
期刊: Symposium on Theoretical Aspects of Computer Science
影响因子: --
作者:
Yuval Filmus;P. Hrubes;Massimo Lauria
通讯作者: Massimo Lauria
所有图的 Tseitin 公式的有界深度弗雷格复杂度
DOI: --
发表时间: 2022
期刊: Electron. Colloquium Comput. Complex.
影响因子: --
作者:
Nicola Galesi;D. Itsykson;Artur Riazanov;A. Sofronova
通讯作者: A. Sofronova
DOI: --
发表时间: 1984
期刊:
影响因子: --
作者:
M. Grötschel;L. Lovász;A. Schrijver
通讯作者: A. Schrijver
单调 NC 层次结构的分离
DOI: 10.1109/sfcs.1997.646112
发表时间: 1997
期刊: Combinatorica
影响因子: 1.1
作者:
R. Raz;P. McKenzie
通讯作者: P. McKenzie
DOI: 10.1145/2591796.2591838
发表时间: 2013-11
期刊: Proceedings of the forty-sixth annual ACM symposium on Theory of computing
影响因子: --
作者:
Mika Göös;T. Pitassi
通讯作者: Mika Göös;T. Pitassi