阿尔伯特·阿塞里亚斯;尼尔·萨彭 近似计数片段中的排序原则。 (英语) Zbl 1354.03090号 ACM事务处理。计算。日志。 第15号第4条第29条第11页(2014年).MSC公司:20层03 2015年3月1日 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{N.Thapen},ACM翻译。计算。日志。15,第4号,第29条,第11页(2014;Zbl 1354.03090) 全文: DOI程序 链接
阿诺德·贝克曼;帕维尔·普德拉克;尼尔·萨彭 奇偶博弈和命题证明。 (英语) Zbl 1291.03111号 ACM事务处理。计算。日志。 第15号第2条第17条第30页(2014年).MSC公司:20层03 03B35型 91A15型 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}等人,ACM Trans。计算。日志。15,第2号,第17条,第30页(2014;Zbl 1291.03111) 全文: DOI程序
斯蒂芬·库克;尼尔·萨彭 弱运算中替换的强度。 (英语) Zbl 1407.03075号 ACM事务处理。计算。日志。 7,第4期,749-764(2006).MSC公司:30楼03号 20层03 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cook}和\textit{N.Thapen},ACM翻译。计算。日志。7,第4号,749--764(2006;Zbl 1407.03075) 全文: DOI程序 arXiv公司