喵ID：tQRrh1免责声明

Stabbing Planes

刺击飞机

基本信息

DOI：
10.48550/arxiv.1710.03219
发表时间：
2022
期刊：
ArXivorg
影响因子：
--
通讯作者：
Robere, Robert
中科院分区：
文献类型：
--
作者： Beame, Paul;Fleming, Noah;Impagliazzo, Russell;Pankratov, Denis;Pitassi, Toniann;Robere, Robert研究方向： -- MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址

文献摘要

参考文献（86）
被引文献（23）
Bounded-depth Frege complexity of Tseitin formulas for all graphs
所有图的 Tseitin 公式的有界深度弗雷格复杂度
DOI：
发表时间：
2022
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
0
作者：
Nicola Galesi;D. Itsykson;Artur Riazanov;A. Sofronova
通讯作者：
A. Sofronova
Semantic Versus Syntactic Cutting Planes
语义剖切面与句法剖切面
DOI：
发表时间：
2016
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
0
作者：
Yuval Filmus;P. Hrubes;Massimo Lauria
通讯作者：
Massimo Lauria
Geometric Methods in Combinatorial Optimization
组合优化中的几何方法
DOI：
发表时间：
1984
期刊：
影响因子：
0
作者：
M. Grötschel;L. Lovász;A. Schrijver
通讯作者：
A. Schrijver
Query-to-communication lifting for BPP using inner product
使用内积将 BPP 的查询提升为通信
DOI：
10.4230/lipics.icalp.2019.35
发表时间：
2019
期刊：
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS)
影响因子：
0
作者：
A. Chattopadhyay;Yuval Filmus;Sajin Koroth;Or Meir;T. Pitassi
通讯作者：
T. Pitassi
Separation of the Monotone NC Hierarchy
单调 NC 层次结构的分离
DOI：
10.1109/sfcs.1997.646112
发表时间：
1997
期刊：
Combinatorica
影响因子：
1.1
作者：
R. Raz;P. McKenzie
通讯作者：
P. McKenzie

数据更新时间：{{ references.updateTime }}

Robere, Robert
通讯地址:
--
所属机构:
--
电子邮件地址：
--
免责声明免责声明
1、猫眼课题宝专注于为科研工作者提供省时、高效的文献资源检索和预览服务；
2、网站中的文献信息均来自公开、合规、透明的互联网文献查询网站，可以通过页面中的“来源链接”跳转数据网站。
3、在猫眼课题宝点击“求助全文”按钮，发布文献应助需求时求助者需要支付50喵币作为应助成功后的答谢给应助者，发送到用助者账户中。若文献求助失败支付的50喵币将退还至求助者账户中。所支付的喵币仅作为答谢，而不是作为文献的“购买”费用，平台也不从中收取任何费用，
4、特别提醒用户通过求助获得的文献原文仅用户个人学习使用，不得用于商业用途，否则一切风险由用户本人承担；
5、本平台尊重知识产权，如果权利所有者认为平台内容侵犯了其合法权益，可以通过本平台提供的版权投诉渠道提出投诉。一经核实，我们将立即采取措施删除/下架/断链等措施。
我已知晓