阿诺德·贝克曼;萨姆·巴斯 Frege的NP搜索问题和扩展Frege证明。 (英语) Zbl 1407.03071号 ACM事务处理。计算。日志。 第18条第2款第11条第19页(2017年).MSC公司:20层03 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}和\textit{S.Buss},ACM Trans。计算。日志。18,第2号,第11条,第19页(2017;Zbl 1407.03071) 全文: 内政部 链接
阿诺德·贝克曼;帕维尔·普德拉克;尼尔·萨彭 奇偶博弈和命题证明。 (英语) 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) 全文: 内政部
阿诺德·贝克曼;Samuel R.巴斯。 改进了二阶有界算法的见证和局部改进原则。 (英语) Zbl 1287.03105号 ACM事务处理。计算。日志。 第15号第1条第2条第35页(2014年).MSC公司:35楼03号 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}和\textit{S.R.Buss},ACM Trans。计算。日志。15,第1号,第2条,第35页(2014年;Zbl 1287.03105) 全文: 内政部