1.Overlays and Limited Memory Communication Mode(l)s

作　　者：Periklis Papakonstantinou ;Dominik Scheder ;Hao Song

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

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

文章 ID：88774936

文章详细全文下载

2.Searching for Cryptogenography Upper Bounds via Sum of Square Programming

作　　者：Dominik Scheder ;Shuyang Tang ;Jiaheng Zhang

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;149:1-12.doi:10.4230/LIPIcs.ISAAC.2019.31

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

文章 ID：241519937

文章详细全文下载

3.Tighter Hard Instances for PPSZ

作　　者：Pavel Pudl{\'a}k ;Dominik Scheder ;Navid Talebanfard

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:85:1-85:13.doi:10.4230/LIPIcs.ICALP.2017.85

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

文章 ID：198372039

文章详细全文下载

4.PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster

作　　者：Dominik Scheder ;John P. Steinberger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;79:9:1-9:15.doi:10.4230/LIPIcs.CCC.2017.9

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

文章 ID：200734929

文章详细全文下载

5.Super Strong ETH Is True for PPSZ with Small Resolution Width

作　　者：Dominik Scheder ;Navid Talebanfard

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;169:3:1-3:12.doi:10.4230/LIPIcs.CCC.2020.3

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

文章 ID：255822999

文章详细全文下载

6.Super Strong ETH is true for strong PPSZ

作　　者：Dominik Scheder ;Navid Talebanfard

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

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

文章 ID：259794719

文章详细全文下载

7.Unsatisfiable Linear CNF Formulas Are Large and Complex

作　　者：Dominik Scheder

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:621-632.doi:10.4230/LIPIcs.STACS.2010.2490

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

文章 ID：186845678

文章详细

8.Improving PPSZ for 3-SAT using Critical Variables

作　　者：Timon Hertli ;Robin A. Moser ;Dominik Scheder

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:237-248.doi:10.4230/LIPIcs.STACS.2011.237

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

文章 ID：186845856

文章详细全文下载

9.PPSZ for k 5 : More Is Better

作　　者：Dominik Scheder

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

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

文章 ID：235153564

文章详细全文下载

10.PPSZ on CSP Instances with Multiple Solutions

作　　者：Dominik Scheder

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

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

文章 ID：235153630

文章详细全文下载

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

	2021	1篇
	2020	2篇
	2019	1篇
	2018	2篇
	2017	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Dominik Scheder")))) )) ) )"

	Dominik Scheder	11篇
	Navid Talebanfard	3篇
	Hao Song	1篇
	Jiaheng Zhang	1篇
	John P. Steinberger	1篇

	Pavel Pudl{\'a}k	1篇
	Periklis Papakonstantinou	1篇
	Robin A. Moser	1篇
	Shuyang Tang	1篇
	Timon Hertli	1篇

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