摘要：论文标题：关于布尔层次结构中最优和p-最优证明系统的存在性研究
作者：Fabian Egidy and Christian Gla{ss}er and Martin Herold
论文ID：2304.14702
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-05-01
PDF 下载： 英文版 中文版pdf翻译中