Bart M.P.Jansen。;阿斯特里德·彼得斯 使用低阶多项式对一些二进制CSP进行最优稀疏化。 (英语) Zbl 1495.68100号 ACM事务处理。计算。理论 第11条第4款第28条第26页(2019年).MSC公司:65年第68季度 2017年第68季度 68年第27季度 68兰特 90立方厘米27 PDF格式BibTeX公司 XML格式引用 \textit{B.M.P.Jansen}和\textit{A.Pieterse},ACM Trans。计算。理论11,第4条,第28条,第26页(2019年;Zbl 1495.68100) 全文: 内政部 链接
埃里克·艾伦德;水池县Hirahara 对电路最小化和相关问题的(非)硬度的新见解。 (英语) Zbl 1441.68081号 ACM事务处理。计算。理论 第11条第4款第27条第27页(2019年).MSC公司:65年第68季度 2006年第68季度 2017年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{E.Allender}和\textit{S.Hirahara},ACM Trans。计算。理论11,第4号,第27条,第27页(2019年;Zbl 1441.68081) 全文: 内政部
奥拉夫·拜尔斯多夫;勒罗伊·周;米科拉什·亚诺塔 新的基于分辨率的QBF计算及其证明复杂性。 (英语) Zbl 1496.68362号 ACM事务处理。计算。理论 11,第4号,第26条,第42页(2019).MSC公司:68伏15 03B35型 20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,ACM Trans。计算。理论11,第4条,第26条,第42页(2019年;Zbl 1496.68362) 全文: 内政部
多米尼克·舍德 \(k\geq 5\)的PPSZ:越多越好。 (英语) Zbl 1496.68259号 ACM事务处理。计算。理论 第11条第4款第25条第22页(2019年).MSC公司:68兰特 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.Scheder},ACM事务。计算。理论11,第4条,第25条,第22页(2019年;Zbl 1496.68259) 全文: 内政部
埃里克·布莱斯;Canonne,Clément L。;塔利亚·伊登;阿米特·列维;达纳·罗恩 容忍军政府测试以及与子模块优化和功能同构的连接。 (英语) Zbl 1495.68245号 ACM事务处理。计算。理论 第11条第4款第24条第33页(2019年).MSC公司:68瓦20 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Blais}等人,ACM Trans。计算。理论11,第4条,第24条,第33页(2019年;Zbl 1495.68245) 全文: 内政部 arXiv公司
莱斯利·安·戈德伯格;马克·杰鲁姆 伊辛模型中的近似两两相关性。 (英语) Zbl 1498.82006年 ACM事务处理。计算。理论 第11条第4款第23条第20页(2019年).MSC公司:82B20型 60J10型 68瓦20 68周25 82立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Goldberg}和\textit{M.Jerrum},ACM翻译。计算。理论11,第4号,第23条,20页(2019年;Zbl 1498.82006年) 全文: 内政部 arXiv公司
德奥利维拉·奥利维拉,马特乌斯;帕维尔·普德拉克 单调布尔函数的线性程序表示。 (英语) Zbl 1440.68077号 ACM事务处理。计算。理论 第11条第4款第22条第31页(2019年).MSC公司:2006年第68季度 03英尺20英寸 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Oliveira Oliveila}和\textit{P.Pudlák},ACM翻译。计算。理论11,第4条,第22条,第31页(2019年;Zbl 1440.68077) 全文: 内政部 链接
拉维·波帕纳;约翰·Hástad;Lee,Chin Ho先生;伊曼纽尔·维奥拉 有限独立性与对称测试。 (英语) Zbl 1495.68151号 ACM事务处理。计算。理论 第11条第4款第21条第27页(2019年).MSC公司:87年第68季度 60二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{R.Boppana}等人,ACM Trans。计算。理论11,第4条,第21条,第27页(2019年;Zbl 1495.68151) 全文: 内政部
伊莎·哈维夫 关于minrank和禁止子图。 (英语) Zbl 1498.05164号 ACM事务处理。计算。理论 第11条第4款第20条第13页(2019年).MSC公司:05元50分 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{I.Haviv},ACM事务。计算。理论11,第4条,第20条,第13页(2019年;Zbl 1498.05164) 全文: 内政部 arXiv公司 链接
伊曼纽尔·维奥拉 硬度的恒定误差伪随机性证明需要多数。 (英语) Zbl 1495.68153号 ACM事务处理。计算。理论 第11条第4款第19条第11页(2019年).MSC公司:87年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Viola},ACM翻译。计算。理论11,第4条,第19条,第11页(2019年;Zbl 1495.68153) 全文: 内政部