摘要：刺穿平面证明系统的翻译顺序的研究
作者：Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere
论文ID：1710.03219
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-03-20
PDF 下载： 英文版 中文版pdf翻译中