Titus Dose

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 16

Top Topics

Straight Forward

Bounded Treewidth

Constraint Satisfaction Problems

Top Venues

Electron. Colloquium Comput. Complex.

Theor. Comput. Sci.

Publications

Titus Dose
An oracle separating conjectures about incompleteness in the finite domain. Theor. Comput. Sci. 809 (2020)
Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau
Emptiness problems for integer circuits. Theor. Comput. Sci. (2020)
Titus Dose, Christian Glaßer
NP-Completeness, Proof Systems, and Disjoint NP-Pairs. STACS (2020)
Titus Dose
Further oracles separating conjectures about incompleteness in the finite domain. Theor. Comput. Sci. 847 (2020)
Titus Dose
P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle. MFCS (2019)
Titus Dose
P≠NP and All Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle. CoRR (2019)
Titus Dose
Balance problems for integer circuits. Theor. Comput. Sci. 799 (2019)
Titus Dose
P-Optimal Proof Systems for Each Set in NP but no Complete Disjoint NP-pairs Relative to an Oracle. CoRR (2019)
Titus Dose
P-Optimal Proof Systems for Each Set in coNP and no Complete Problems in NP⋂coNP Relative to an Oracle. CoRR (2019)
Titus Dose, Christian Glaßer
NP-Completeness, Proof Systems, and Disjoint NP-Pairs. Electron. Colloquium Comput. Complex. 26 (2019)
Titus Dose
Balance Problems for Integer Circuits. Electron. Colloquium Comput. Complex. 25 (2018)
Titus Dose
Balance Problems for Integer Circuits. MFCS (2018)
Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau
Emptiness Problems for Integer Circuits. Electron. Colloquium Comput. Complex. 24 (2017)
Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau
Emptiness Problems for Integer Circuits. MFCS (2017)
Titus Dose
Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers. MFCS (2016)
Titus Dose
Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers. Electron. Colloquium Comput. Complex. 23 (2016)