约瑟夫·里夫斯(Joseph E.Reeves)。;马里恩·赫勒。;Randal E.布莱恩特。 传播冗余子句的预处理。 (英语) Zbl 07753650号 J.汽车。推理 67,第3号,第31号论文,第26页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Reeves}等人,J.Autom。推理67,第3号,第31号论文,第26页(2023年;Zbl 07753650) 全文: 内政部 OA许可证
阿尔伯特·阿塞里亚斯;马西莫·劳里亚 命题逻辑中的循环(但可靠)证明。 (英语) Zbl 07713581号 ACM事务处理。计算。日志。 24,第3号,第20号论文,第26页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{M.Lauria},ACM翻译。计算。日志。24,第3号,第20号论文,第26页(2023;Zbl 07713581) 全文: 内政部
尤瓦尔·菲莫斯;米纳·马哈扬;高拉夫·苏德;马克·维尼亚尔斯 MaxSAT分辨率和子多维数据集总和。 (英语) Zbl 07650604号 ACM事务处理。计算。日志。 24,第1号,第8号论文,27页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Filmus}等人,ACM Trans。计算。日志。24,第1号,第8号论文,第27页(2023;Zbl 07650604) 全文: 内政部 arXiv公司
李维斯,Joseph E。;马里恩·赫勒。;Randal E.布莱恩特。 传播冗余子句的预处理。 (英语) Zbl 07628184号 Blanchette,Jasmin(编辑)等人,《自动推理》。2022年8月8日至10日,以色列海法,第11届国际联合会议,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385, 106-124 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Reeves}等人,Lect。注释计算。科学。13385,106-124(2022;Zbl 07628184) 全文: 内政部
苏珊娜·德·雷泽德(Susanna F.De Rezende)。;梅尔,或者;雅各布诺德斯特伦;罗伯特·罗伯雷 Nullstellensatz从可逆卵石中进行尺寸-角度权衡。 (英语) Zbl 1522.03319号 计算。复杂性 30,第1号,第4号论文,45页(2021年).MSC公司:20层03 13第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.F.De Rezende}等人,计算。复杂性30,第1号,第4号论文,45页(2021;Zbl 1522.03319) 全文: 内政部 arXiv公司 链接
克里斯托夫·伯克霍尔茨;雅各布诺德斯特伦 分辨率的超临界空间宽度权衡。 (英语) Zbl 1485.03235号 SIAM J.计算。 49,第1期,98-118(2020).MSC公司:20层03 03B70号 2015年3月1日 2015年第68季度 2017年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Berkholz}和\textit{J.Nordström},SIAM J.Compute。49,编号1,98--118(2020;Zbl 1485.03235) 全文: 内政部
阿尔伯特·阿塞里亚斯;托马斯·哈科尼米 平方和证明和位置信号源证明的尺寸级权衡。 (英语) 兹伯利07564424 Shpilka,Amir(编辑),第34届计算复杂性会议,CCC 2019,新泽西州新不伦瑞克,2019年7月18-20日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际会议记录。通知。137,第24条,第20页(2019年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{T.Hakoniemi},LIPIcs——莱布尼茨国际程序。通知。137,第24条,第20页(2019年;Zbl 07564424) 全文: 内政部 arXiv公司
苏珊娜·德·雷泽德(Susanna F.De Rezende)。;雅各布诺德斯特伦;迈尔,或;罗伯特·罗伯雷 Nullstellensz尺寸度与可逆运球的权衡。 (英语) Zbl 1522.03320号 Shpilka,Amir(编辑),第34届计算复杂性会议,CCC 2019,新泽西州新不伦瑞克,2019年7月18-20日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际会议记录。通知。137,第18条,第16页(2019年)。MSC公司:20层03 13第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.F.De Rezende}等人,LIPIcs——莱布尼茨国际程序。通知。137,第18条,第16页(2019年;Zbl 1522.03320) 全文: 内政部
伊恩·默茨;托尼安·皮塔西;魏元浩 很难找到简短的证明。 (英语) Zbl 07561577号 Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际会议记录。通知。132,第84条,第16页(2019年)。MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Mertz}等人,LIPIcs——莱布尼茨国际程序。通知。132,第84条,第16页(2019年;Zbl 07561577) 全文: 内政部
阿尔伯特·阿塞里亚斯;乔安娜·奥奇里米亚克 证明复杂性与代数相遇。 (英语) Zbl 1407.03070号 ACM事务处理。计算。日志。 20,第1号,第1条,46页(2019年).MSC公司:20层03 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{J.Ochremiak},ACM Trans。计算。日志。20,第1号,第1条,46页(2019年;Zbl 1407.03070) 全文: 内政部 arXiv公司 链接
克里斯托夫·伯克霍尔茨 多项式微积分、Sherali-Adams和平方和证明之间的关系。 (英语) Zbl 1491.03077号 Niedermeier,Rolf(ed.)等人,第35届计算机科学理论方面研讨会,STACS 2018,法国卡昂,2018年2月28日至3月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。96,第11条,第14页(2018年)。MSC公司:20层03 13页第10页 2015年第68季度 90C22型 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{C.Berkholz},LIPIcs——莱布尼茨国际程序。通知。96,第11条,第14页(2018;Zbl 1491.03077) 全文: 内政部
马西莫·劳里亚;雅各布诺德斯特伦 平方和证明的严格尺寸-角度界限。 (英语) Zbl 1422.03125号 计算。复杂性 26,第4期,911-948(2017).MSC公司:20层03 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lauria}和\textit{J.NordströM},计算。复杂性26,第4号,911--948(2017;Zbl 1422.03125) 全文: 内政部 arXiv公司 链接
Imanishi、Kensuke 分辨率大小的上限:可处理SAT实例的特征。 (英语) Zbl 1485.68118号 Poon,Sheung-Hung(编辑)等人,WALCOM:算法和计算。第11届国际会议和研讨会,2017年3月29日至31日,台湾新竹,WALCOM 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10167, 359-369 (2017).MSC公司:第68季度27 20层03 68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Imanishi},莱克特。注释计算。科学。10167359--369(2017;Zbl 1485.68118) 全文: 内政部