1.Almost Tight Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs

作　　者：Dmitry Itsykson ;Artur Riazanov ;Danil Sagunov 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-37.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243029017

文章详细全文下载
2.Bounded-depth Frege complexity of Tseitin formulas for all graphs

作　　者：Nicola Galesi ;Dmitry Itsykson ;Artur Riazanov 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-19.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243029126

文章详细全文下载
3.Almost Tight Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs

作　　者：Dmitry Itsykson ;Artur Riazanov ;Danil Sagunov 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-37.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243731383

文章详细全文下载
4.Bounded-depth Frege complexity of Tseitin formulas for all graphs

作　　者：Nicola Galesi ;Dmitry Itsykson ;Artur Riazanov 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-19.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243731533

文章详细全文下载
5.Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs

作　　者：Nicola Galesi ;Dmitry Itsykson ;Artur Riazanov 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.49

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891999

文章详细全文下载
6.Lower Bounds on OBDD Proofs with Several Orders

作　　者：Sam Buss ;Dmitry Itsykson ;Alexander Knop 等

出　　处：Electronic Colloquium on Computational Complexity. 2020 ;2020:1-27.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：259794781

文章详细全文下载
7.Proof complexity of natural formulas via communication arguments

作　　者：Dmitry Itsykson ;Artur Riazanov

出　　处：Electronic Colloquium on Computational Complexity. 2020 ;2020:1-31.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：259794892

文章详细全文下载

	Artur Riazanov	7篇
	Dmitry Itsykson	7篇
	Anastasia Sofronova	3篇
	Nicola Galesi	3篇
	Danil Sagunov	2篇

	Petr Smirnov	2篇
	Alexander Knop	1篇
	Dmitry Sokolov	1篇
	Sam Buss	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Artur Riazanov")))) )) ) )"

	Electronic Colloquium on Computational Complexity	6篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

	2020	2篇
	2019	5篇