×

找到1234个文档（结果1-100）

最新的 引文 关联
亚历山大·拉兹博罗夫。

命题证明复杂性。 （英语） Zbl 07763400号

Hujdurović，Ademir（编辑）等人，欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，第八届大会会议记录。柏林：欧洲数学学会（EMS）。439-464 (2023).
MSC公司：20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Razborov}，in：欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，8ECM，第八届大会会议记录。柏林：欧洲数学学会（EMS）。439-464（2023年；兹比尔07763400）
全文： 内政部
尼古拉·加莱西;德米特里·伊特西克森;阿图尔·里亚扎诺夫;阿纳斯塔西亚索夫罗诺娃

所有图的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）
全文： 内政部 链接
汗、设拉子;南卡罗来纳州马尔丹。;Rehman，医学硕士。

带电圆柱形多绳复杂诱导框架的开发。 （英语） Zbl 1506.83059号

J.宇宙。Astropart。物理学。 2022年，第7期，第23号论文，第17页（2022年）.
MSC公司：83个F05 83立方厘米 第83页第55页 20层03
PDF格式BibTeX公司 XML格式引用
\textit{S.Khan}等人，J.Cosmol。Astropart。物理。2022年，第7期，第23号论文，第17页（2022年；Zbl 1506.83059）
全文： 内政部 arXiv公司
阿尔伯特·阿塞里亚斯;伊拉里奥·博纳西纳;苏珊娜·德·雷泽德（Susanna F.De Rezende）。;马西莫·劳里亚;雅各布诺德斯特伦;亚历山大·拉兹博罗夫

一般来说，集团很难定期解决。 （英语） Zbl 1499.68129号

美国临床医学杂志 68，第4期，第23号论文，第26页（2021年）.
MSC公司：2017年第68季度 20层03 05C69号 05立方厘米80 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{A.Atserias}等人，J.ACM 68，第4号，第23号论文，26页（2021年；Zbl 1499.68129）
全文： 内政部 链接
德米特里·伊特西克森;阿图尔·里亚扎诺夫;丹尼尔·萨古诺夫;彼得·斯米尔诺夫

更正为：“所有恒度图的Tseitin公式正则分辨率反驳的近最优下界”。 （英语） 兹比尔1508.03090

计算。复杂性 30，第2号，第16号论文，第2页（2021年）.
MSC公司：20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Itsykson}等人，计算。复杂性30，第2号，第16号论文，第2页（2021；Zbl 1508.03090）
全文： 内政部
德米特里·伊特西克森;阿图尔·里亚扎诺夫;丹尼尔·萨古诺夫;彼得·斯米尔诺夫

所有等度图的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）
全文： 内政部
苏珊娜·德·雷泽德（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公司 链接
莫里茨·米勒

典型强迫、NP搜索问题和Riis定理的推广。 （英语） Zbl 1496.03239号

Ann.纯粹应用。逻辑 172，第4期，文章ID 102930，44页（2021）.
审核人：Mihai Prunescu（布加勒斯特）
MSC公司：20层03 30楼03号 03C25号 03C62号 2015年3月1日 03E75型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.米勒}，安。纯苹果。逻辑172，第4号，文章ID 102930，44页（2021；Zbl 1496.03239）
全文： 内政部 arXiv公司
零件，Fedor;伊多·扎梅雷特

带计数的分辨率：类似dag的下限和不同的模。 （英语） Zbl 07650367号

Vidick，Thomas（编辑），第11届理论计算机科学创新会议，2020年ITCS，美国华盛顿州西雅图，2020年1月12-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。151，第19条，第37页（2020年）。
MSC公司：20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Part}和\textit{I.Tzameret}，LIPIcs——莱布尼茨国际程序。通知。151，第19条，第37页（2020；Zbl 07650367）
全文： 内政部
圣地亚哥Hernández-Orozco;Hernández-Quiroz，弗朗西斯科;赫克托·泽尼尔;威弗里德·西格

缩短证明长度对于定理证明者来说是难以捉摸的。 （英语） Zbl 1490.68291号

并行过程。莱特。 30，第4号，文章ID 2050013，14页（2020年）.
MSC公司：68伏15 03B05号 03B35型 20层03
PDF格式BibTeX公司 XML格式引用
\textit{S.Hernández-Orozco}等人，《并行过程》。莱特。30，第4号，文章ID 2050013，14页（2020；Zbl 1490.68291）
全文： 内政部
内森·穆尔;庞硕;亚历山大·拉兹博罗夫

基于CDCL的有序决策证明系统。 （英语） Zbl 1523.68166号

Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12178149-165（2020年）。
MSC公司：68伏15 20层03 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Mull}等人，Lect。注释计算。科学。12178，149--165（2020；Zbl 1523.68166）
全文： 内政部 arXiv公司
罗素·英帕利亚佐;萨桑克·穆利;托尼安·皮塔西

恒定深度代数证明的惊人威力。 （英语） Zbl 1498.03151号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。591-603 (2020).
MSC公司：20层03
PDF格式BibTeX公司 XML格式引用
\textit{R.Impagliazzo}等人，《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。591--603（2020年；Zbl 1498.03151）
全文： 内政部
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬

QBF分辨率的硬度特征和尺寸宽度下限。 （英语） Zbl 1498.03149号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。209-223 (2020).
MSC公司：20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}等人，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。209--223（2020；Zbl 1498.03149）
全文： 内政部
汉斯·克莱恩·勃宁;Wojciechowski，P。;苏布拉马尼，K。

NAE-消解：一种新的消解反驳技术，用于证明非等式不满足性。 （英语） Zbl 1492.68064号

数学。结构。计算。科学。 30，第7期，736-751（2020年）.
MSC公司：65年第68季度 03B35型 20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Kleine Büning｝等人，数学。结构。计算。科学。30，第7号，736--751（2020；Zbl 1492.68064）
全文： 内政部
莫里茨·米勒;贾恩·皮奇

简洁弱电路下界的可行构造性证明。 （英语） Zbl 1454.03078号

Ann.纯粹应用。逻辑 171，第2号，文章ID 102735，45 p.（2020）.
审核人：Ariel Germanán Fernández（布宜诺斯艾利斯）
MSC公司：20层03 2015年3月1日 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Müller｝和\textit｛J.Pich｝，Ann.纯应用。逻辑171，第2号，文章ID 102735，45页（2020；Zbl 1454.03078）
全文： 内政部 链接
苏珊娜·德·雷泽德（Susanna F.De Rezende）。;雅各布诺德斯特伦;迈尔，或;罗伯特·罗伯雷

Nullstellensatz从可逆卵石中进行尺寸-角度权衡。 （英语） 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）
全文： 内政部
汤姆·佩特尔;弗里德里希·斯利沃夫斯基;斯泽德，斯特凡

证明长距离Q分辨率碎片的复杂性。 （英语） Zbl 1441.03044号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628319-335（2019年）。
MSC公司：20层03 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.Peitl}等人，Lect。注释计算。科学。11628，319--335（2019；Zbl 1441.03044）
全文： 内政部
本杰明·基尔;马蒂娜·塞德尔

QRAT多项式模拟\（所有\）-Exp+Res。 （英语） Zbl 1441.68094号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628, 193-202 (2019).
MSC公司：65年第68季度 07年3月 20层03 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛B.Kiesl｝和\textit｛M.Seidl｝，Lect。注释计算。科学。11628、193--202（2019年；Zbl 1441.68094）
全文： 内政部
勒罗伊·周;朱迪思·克莱莫

反驳QRAT的等价性。 （英语） Zbl 1441.68154号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628, 100-116 (2019).
MSC公司：68兰特 20层03 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{L.Chew}和\textit{J.Clymo}，莱克特。注释计算。科学。11628、100-116（2019年；Zbl 1441.68154）
全文： 内政部
佛罗伦萨卡佩利

知识汇编语言作为证明系统。 （英语） Zbl 1441.68153号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628, 90-99 (2019).
MSC公司：68兰特 20层03
PDF格式BibTeX公司 XML格式引用
\文本｛F.Capelli｝，Lect。注释计算。科学。11628、90-99（2019年；Zbl 1441.68153）
全文： 内政部 arXiv公司
萨姆·巴斯;尼尔·萨彭

DRAT证明、传播冗余和扩展分辨率。 （英语） Zbl 1441.03043号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628, 71-89 (2019).
MSC公司：20层03 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Buss}和\textit{N.Thapen}，莱克特。注释计算。科学。11628、71-89（2019年；Zbl 1441.03043）
全文： 内政部
乔舒亚·布林霍恩;奥拉夫·拜尔斯多夫

证明QBF对称重计算的复杂性。 （英语） Zbl 1441.68086号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628，36-52（2019）。
MSC公司：65年第68季度 20层03 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.Blinkhorn}和\textit{O.Beyersdorff}，莱克特。注释计算。科学。11628，36-52（2019；Zbl 1441.68086）
全文： 内政部
奥拉夫·拜尔斯多夫;勒罗伊·周;朱迪思·克莱莫;米纳·马哈扬

QBF展开中的简短证明。 （英语） Zbl 1441.68085号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628, 19-35 (2019).
MSC公司：65年第68季度 20层03 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}等人，Lect。注释计算。科学。11628、19-35（2019年；Zbl 1441.68085）
全文： 内政部
阿尔伯特·阿塞里亚斯;马西莫·劳里亚

圆形（但声音）校样。 （英语） Zbl 1441.03041号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628，1-18（2019）。
MSC公司：07年3月 20层03
PDF格式BibTeX公司 XML格式引用
\textit{A.Atserias}和\textit{M.Lauria}，莱克特。注释计算。科学。11628，1-18（2019；Zbl 1441.03041）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件