Titus Dose

According to our database, Titus Dose authored at least 11 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes (Balance-Probleme für Integer Circuits und Separierungen Relativierter Vermutungen über Unvollständigkeit in Promise-Klassen)

Titus Dose

PhD thesis, 2021

2020

Further oracles separating conjectures about incompleteness in the finite domain.

Titus Dose

Theor. Comput. Sci., 2020

An oracle separating conjectures about incompleteness in the finite domain.

Titus Dose

Theor. Comput. Sci., 2020

Emptiness problems for integer circuits.

Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau

Theor. Comput. Sci., 2020

2019

Balance problems for integer circuits.

Titus Dose

Theor. Comput. Sci., 2019

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

Titus Dose, Christian Glaßer

Electron. Colloquium Comput. Complex., 2019

P-Optimal Proof Systems for Each Set in coNP and no Complete Problems in NP⋂coNP Relative to an Oracle.

Titus Dose

CoRR, 2019

P≠NP and All Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle.

Titus Dose

CoRR, 2019

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

Titus Dose

CoRR, 2019

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

Titus Dose

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2016

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

Titus Dose

Electron. Colloquium Comput. Complex., 2016