首页期刊浏览 2024年11月30日星期六

登录注册

全文

	有本地全文	22篇
	有全文链接	2篇

出版年度

	2020	3篇
	2019	9篇
	2018	2篇
	2017	3篇
	2016	2篇

	2015	1篇
	2014	2篇
	2012	1篇
	2010	1篇

作者

	Dmitry Itsykson	24篇
	Dmitry Sokolov	11篇
	Alexander Knop	10篇
	Artur Riazanov	7篇
	Anastasia Sofronova	3篇

	Ludmila Glinskih	3篇
	Nicola Galesi	3篇
	Sam Buss	3篇
	Alexander Okhotin	2篇
	Andrei Romashchenko	2篇
	Danil Sagunov	2篇
	Petr Smirnov	2篇
	Vsevolod Oparin	2篇
	Andrey Romashchenko	1篇
	Edward A. Hirsch	1篇
	Mikhail Slabodkin	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	17篇
	LIPIcs : Leibniz International Proceedings in Informatics	7篇

学科主题

计算技术、计算机技术

24篇

语种

英文

24篇

国别/地区

德国

24篇

检索条件:"( ( 高级检索(( ((AU:(("Dmitry Itsykson")))) )) ) )"

共 24 条记录

排序：全选导出：

1.Lower bounds for myopic DPLL algorithms with a cut heuristic

作　　者：Dmitry Itsykson ;Dmitry Sokolov

出　　处：Electronic Colloquium on Computational Complexity. 2012 ;2012.

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

文章 ID：88774675

文章详细全文下载
2.Resolution complexity of perfect mathcing principles for sparse graphs

作　　者：Dmitry Itsykson ;Mikhail Slabodkin ;Dmitry Sokolov

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

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

文章 ID：95928700

文章详细全文下载
3.Complexity of distributions and average-case hardness

作　　者：Dmitry Itsykson ;Alexander Knop ;Dmitry Sokolov

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

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

文章 ID：174712921

文章详细全文下载
4.Heuristic time hierarchies via hierarchies for sampling distributions

作　　者：Dmitry Itsykson ;Alexander Knop ;Dmitry Sokolov

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

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

文章 ID：113635684

文章详细全文下载
5.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

文章详细全文下载
6.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

文章详细全文下载
7.On Tseitin formulas, read-once branching programs and treewidth

作　　者：Ludmila Glinskih ;Dmitry Itsykson

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

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

文章 ID：243029175

文章详细全文下载
8.On OBDD-based algorithms and proof systems that dynamically change order of variables

作　　者：Dmitry Itsykson ;Alexander Knop ;Andrei Romashchenko 等

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

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

文章 ID：243029194

文章详细全文下载
9.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

文章详细全文下载
10.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

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有