1.NP-Completeness, Proof Systems, and Disjoint NP-Pairs

作　　者：Titus Dose ;Christian Glaßer

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

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

文章 ID：243029145

文章详细全文下载

2.NP-Completeness, Proof Systems, and Disjoint NP-Pairs

作　　者：Titus Dose ;Christian Glaßer

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

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

文章 ID：243731552

文章详细全文下载

3.P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle

作　　者：Titus Dose

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

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

文章 ID：238891997

文章详细全文下载

4.Emptiness Problems for Integer Circuits

作　　者：Dominik Barth ;Moritz Beck ;Titus Dose 等

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

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

文章 ID：207621262

文章详细全文下载

5.Emptiness Problems for Integer Circuits

作　　者：Dominik Barth ;Moritz Beck ;Titus Dose 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:33:1-33:14.doi:10.4230/LIPIcs.MFCS.2017.33

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

文章 ID：205509988

文章详细全文下载

6.NP-Completeness, Proof Systems, and Disjoint NP-Pairs

作　　者：Titus Dose ;Christian Gla{\ss}er

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:9:1-9:18.doi:10.4230/LIPIcs.STACS.2020.9

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

文章 ID：255823548

文章详细全文下载

7.Complexity of Constraint Satisfaction Problems over Finite Substsets of Natural Numbers

作　　者：Titus Dose

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

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

文章 ID：215686981

文章详细全文下载

8.Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers

作　　者：Titus Dose

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:32:1-32:13.doi:10.4230/LIPIcs.MFCS.2016.32

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

文章 ID：186847859

文章详细全文下载

9.Balance Problems for Integer Circuits

作　　者：Titus Dose

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-16.doi:10.4230/LIPIcs.MFCS.2018.5

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

文章 ID：230213360

文章详细全文下载

10.Balance Problems for Integer Circuits

作　　者：Titus Dose

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

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

文章 ID：235153506

文章详细全文下载

	Titus Dose	10篇
	Christian Glaßer	3篇
	Christian Gla{\ss}er	2篇
	Dominik Barth	2篇
	Larissa Michler	2篇

	Marc Technau	2篇
	Moritz Beck	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Titus Dose")))) )) ) )"

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