首页期刊浏览 2024年11月28日星期四

登录注册

全文

	有本地全文	28篇
	有全文链接	8篇

出版年度

	2022	1篇
	2021	3篇
	2020	11篇
	2019	6篇
	2018	5篇

	2017	2篇
	2016	2篇
	2015	1篇
	2014	3篇
	2012	1篇
	2006	1篇

作者

	Dmitry Sokolov	36篇
	Dmitry Itsykson	11篇
	Alexander Knop	9篇
	Evgeny Barakhtenko	6篇
	Mika Göös	4篇

	Pritish Kamath	4篇
	Jakob Nordström	3篇
	Kilian Risse	3篇
	Robert Robere	3篇
	Sam Buss	3篇
	Susanna de Rezende	3篇
	Andrei Romashchenko	2篇
	Ankit Garg	2篇
	Igor Ryadchikov	2篇
	Jakob Nordstr{"o}m	2篇
	Jian Wang	2篇
	Stanislav Aranovskiy	2篇
	Valery Stennikov	2篇
	Alexey Bobtsov	1篇
	Anastasia Sofronova	1篇
	Andrey Romashchenko	1篇
	Antonina Lisovskaya	1篇
	Artur Riazanov	1篇
	Bin Zhou	1篇
	Denis Efimov	1篇
	Dimitri Plemenos	1篇
	Dmitry Kucherov	1篇
	Edward Hirsch	1篇
	Elena Zavyalova	1篇
	Evgeny Nikulchev	1篇
	Guillaume Lagarde	1篇
	Joseph Swernofsky	1篇
	Mika G{"o}{"o}s	1篇
	Mikhail Slabodkin	1篇
	Nikolai Voropai	1篇
	Oleg Voitov	1篇
	Oleksii Basmanov	1篇
	Susanna F. de Rezende	1篇
	Toniann Pitassi	1篇
	Valentina Krivtsova	1篇

文章类型

Research Article

2篇

来源期刊

	Electronic Colloquium on Computational Complexity	18篇
	E3S Web of Conferences	6篇
	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	IFAC PapersOnLine	2篇
	Eastern-European Journal of Enterprise Technologies	1篇

	Foresight and STI Governance	1篇
	Journal of Virtual Reality and Broadcasting	1篇
	Theory of Computing	1篇

学科主题

	计算技术、计算机技术	26篇
	环境科学基础理论	6篇
	劳动经济	1篇

语种

英文

36篇

国别/地区

	德国	25篇
	法国	6篇
	俄罗斯	1篇
	美国	1篇

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

共 36 条记录

排序：全选导出：

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.On the probabilistic closure of the loose unambiguous hierarchy

作　　者：Edward Hirsch ;Dmitry Sokolov

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

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

文章 ID：90814539

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

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

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

文章详细全文下载
6.Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

作　　者：Susanna de Rezende ;Jakob Nordström ;Kilian Risse 等

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

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

文章 ID：243029021

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

文章详细全文下载
8.Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

作　　者：Susanna de Rezende ;Jakob Nordström ;Kilian Risse 等

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

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

文章 ID：243731391

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

文章详细全文下载
10.Trade-Offs Between Size and Degree in Polynomial Calculus

作　　者：Guillaume Lagarde ;Jakob Nordstr{"o}m ;Dmitry Sokolov 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;151:1-16.doi:10.4230/LIPIcs.ITCS.2020.72

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

文章 ID：243494310

文章详细全文下载

1 2 3 4 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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