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.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

文章详细全文下载
3.Building Large k-Cores from Sparse Graphs

作　　者：Fedor V. Fomin ;Danil Sagunov ;Kirill Simonov

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:35:1-35:14.doi:10.4230/LIPIcs.MFCS.2020.35

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

文章 ID：255822945

文章详细全文下载
4.Diverse Pairs of Matchings

作　　者：Fedor V. Fomin ;Petr A. Golovach ;Lars Jaffke 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;181:1-12.doi:10.4230/LIPIcs.ISAAC.2020.26

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

文章 ID：257804993

文章详细全文下载
5.Solving Target Set Selection with Bounded Thresholds Faster than 2^n

作　　者：Ivan Bliznets ;Danil Sagunov

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;115:1-14.doi:10.4230/LIPIcs.IPEC.2018.22

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

文章 ID：230438723

文章详细全文下载

	Danil Sagunov	5篇
	Artur Riazanov	2篇
	Dmitry Itsykson	2篇
	Fedor V. Fomin	2篇
	Petr Smirnov	2篇

	Geevarghese Philip	1篇
	Ivan Bliznets	1篇
	Kirill Simonov	1篇
	Lars Jaffke	1篇
	Petr A. Golovach	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Danil Sagunov")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Colloquium on Computational Complexity	2篇

	2020	2篇
	2019	3篇