根纳迪·阿维尔科夫;克里斯托弗·霍尼;马提亚斯·施穆拉 计算松弛复杂度的高效MIP技术。 （英语） Zbl 1519.90125号 数学。程序。计算。 15，第3号，549-580（2023）.MSC公司：90立方厘米11 90立方厘米 90C57型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Averkov｝等人，《数学》。程序。计算。15，第3号，549--580（2023；Zbl 1519.90125） 全文： DOI程序 arXiv公司 OA许可证
亚历克西斯·德·科尔内;斯特凡·门格尔 用短规则分辨率反驳表征Tseitin配方。 （英语） Zbl 1506.68062号 J.阿蒂夫。智力。研究（JAIR） 76, 265-286 (2023).MSC公司：68兰特 20层03 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.de Colnet}和\textit{S.Mengel}，J.Artif。智力。研究（JAIR）76，265--286（2023；Zbl 1506.68062） 全文： DOI程序
尼古拉·加莱西;德米特里·伊齐克森;阿图尔·里亚扎诺夫;阿纳斯塔西亚索夫罗诺娃 所有图的Tseitin公式的有界深度Frege复杂性。 （英语） Zbl 1516.03021号 Ann.纯粹应用。逻辑 174，第1号，文章ID 103166，23页（2023）. 审核人：Ariel Germanán Fernández（布宜诺斯艾利斯） MSC公司：20层03 05C83号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Galesi}等人，Ann.Pure Appl。逻辑174，第1号，文章ID 103166，23页（2023；Zbl 1516.03021） 全文： DOI程序 链接
诺亚·弗莱明;托尼安·皮塔西 关于证明复杂性和计数原则的思考。 （英语） Zbl 07469221号 Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 497-520 (2022).MSC公司：03亿xx 03Gxx公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Fleming}和\textit{T.Pitassi}，Outst。控制日志。22497--520（2022；Zbl 07469221） 全文： DOI程序
伊戈尔·彼得罗维奇·丘赫罗夫 素蕴涵数局部极值的连通布尔函数。 （俄语。英文摘要） Zbl 1496.94093号 Diskretn公司。分析。伊斯斯莱德。操作。 28，第1号，68-96（2021）.MSC公司：94D10号 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Chukhrov}，Diskretn。分析。伊斯斯莱德。操作。28，编号1，68--96（2021；Zbl 1496.94093） 全文： DOI程序 MNR公司
亚历克西斯·德·科尔内;斯特凡·蒙格尔 用短正则分辨率反驳刻画谢廷公式。 （英语） Zbl 07495569号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 116-133 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.de Colnet}和\textit{S.Mengel}，莱克特。注释计算。科学。12831、116--133（2021；Zbl 07495569） 全文： DOI程序 arXiv公司
庞硕 大集团一般很难解决。 （英语） Zbl 07493542号 Santhanam，Rahul（编辑）等人，《计算机科学——理论与应用》。2021年6月28日至7月2日，在俄罗斯索契举行的第16届国际计算机科学研讨会，CSR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12730, 361-380 (2021).MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pang}，莱克特。注释计算。科学。12730361--380（2021；Zbl 07493542） 全文： DOI程序
米查尔·库克;罗德尔，沃伊特;纳维德·塔利班 超图的一个分离器定理和一个CSP-SAT算法。 （英语） Zbl 07471677号 日志。方法计算。科学。 17，第4号，第17号论文，第14页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kouckí}等人，日志。方法计算。科学。17，第4号，第17号论文，第14页（2021；Zbl 07471677） 全文： arXiv公司 链接
德米特里·伊齐克森;阿图尔·里亚扎诺夫;丹尼尔·萨古诺夫;彼得·斯米尔诺夫 所有等度图的Tseitin公式正则分辨率反驳的近最优下界。 （英语） Zbl 1497.03066号 计算。复杂性 30，第2号，第13号论文，74页（2021年）; 更正同上，第30号，第2号，第16号论文，第2页（2021年）。 审核人：Ariel Germanán Fernández（布宜诺斯艾利斯） MSC公司：20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Itsykson}等人，计算。复杂性30，第2期，第13号论文，74页（2021；Zbl 1497.03066） 全文： DOI程序
卢德米拉·格林斯基;德米特里·伊齐克森 关于Tseitin公式、只读分支程序和树宽度。 （英语） Zbl 1517.68092号 理论计算。系统。 65，编号3，613-633（2021）.MSC公司：68第05页 20层03 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Glinskih}和\textit{D.Itsyson}，理论计算。系统。65，编号3，613--633（2021；Zbl 1517.68092） 全文： DOI程序
雅各布·托兰;弗洛里安·沃兹 可逆卵石对策及树型空间和一般分辨率空间之间的关系。 （英语） 兹伯利07360377 计算。复杂性 30，第1号，第7号论文，37页（2021年）.MSC公司：20层03 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Torán}和\textit{F.Wörz}，计算。复杂性30，第1号，第7号论文，37页（2021；Zbl 07360377） 全文： DOI程序 OA许可证
尼基尔·维亚斯;莱恩·威廉姆斯 在超强ETH上。 （英语） Zbl 1512.68115号 J.阿蒂夫。智力。研究（JAIR） 70, 473-495 (2021).MSC公司：65年第68季度 68兰特 68T20型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{N.Vyas}和\textit{R.Williams}，J.Artif。智力。决议（JAIR）70473-495（2021；兹比尔1512.68115） 全文： DOI程序
多米尼克·舍德;纳维德·塔利班 对于分辨率宽度较小的PPSZ来说，超强ETH是正确的。 （英语） Zbl 07561731号 Saraf，Shubhangi（编辑），第35届计算复杂性会议，CCC 2020，2020年7月28日至31日，德国萨尔布吕肯，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169，第3条，第12页（2020年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Scheder}和\textit{N.Talebanfard}，LIPIcs——莱布尼茨国际程序。通知。169，第3条，第12页（2020；Zbl 07561731） 全文： DOI程序
尼古拉·加莱西;德米特里·伊齐克森;阿图尔·里亚扎诺夫;阿纳斯塔西亚索夫罗诺娃 所有图的Tseitin公式的有界深度Frege复杂性。 （英语） Zbl 07561693号 Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第49条，第15页（2019年）。MSC公司：20层03 05C83号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Galesi}等人，LIPIcs——莱布尼茨国际程序。通知。138，第49条，第15页（2019年；Zbl 07561693） 全文： DOI程序
梅尔，或者;阿维·威格德森 根据部分信息和事后判断进行预测，并应用于电路下限。 （英语） Zbl 1425.68128号 计算。复杂性 28，第2期，145-183（2019）.MSC公司：2015年第68季度 68页30 2017年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Meir}和\textit{A.Wigderson}，计算。复杂性28，No.2，145--183（2019；Zbl 1425.68128） 全文： DOI程序
伊拉里奥·博纳西纳;纳维德·塔利班 通过游戏和多种策略实现强大的ETH和分辨率。 （英语） Zbl 1420.03141号 算法 79，第1号，29-41（2017）.MSC公司：20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Bonacina}和\textit{N.Talebanfard}，Algorithmica 79，No.1，29-41（2017；Zbl 1420.03141） 全文： DOI程序 链接
伊拉里奥·博纳西纳;纳维德·塔利班 应用强指数时间假设改进（k）-CNF的分辨率宽度下限。 （英语） Zbl 1346.68100号 信息处理。莱特。 116，第2期，120-124（2016）.MSC公司：2017年第68季度 20层03 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Bonacina}和\textit{N.Talebanfard}，Inf.过程。莱特。116，第2号，120-124（2016；Zbl 1346.68100） 全文： DOI程序