Titus Dose

Available identifiers

zbMath Open dose.titusMaRDI QIDQ2182322

List of research outcomes

Publication	Date of Publication	Type
NP-Completeness, Proof Systems, and Disjoint NP-Pairs.	2023-02-07	Paper
P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle	2022-07-21	Paper
Balance problems for integer circuits	2021-08-04	Paper
Further oracles separating conjectures about incompleteness in the finite domain	2020-11-06	Paper
Emptiness problems for integer circuits	2020-05-26	Paper
Emptiness problems for integer circuits	2020-05-23	Paper
Complete disjoint CoNP-pairs but no complete total polynomial search problems relative to an oracle	2020-01-30	Paper
An oracle separating conjectures about incompleteness in the finite domain	2020-01-29	Paper
Balance problems for integer circuits	2019-11-13	Paper
Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers.	2018-03-21	Paper

Research outcomes over time

This page was built for person: Titus Dose