|
61 |
Complexity of Robust Orbit Problems for Torus Actions and the abc-Conjecture
Bürgisser, Peter. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
62 |
Computational Complexity of Matching Match Puzzle
Iburi, Yuki. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
63 |
Computational Complexity of Verifying Parameterized Systems
Ayikudi Ramachandrakumar, Balasubramanian. - München : Universitätsbibliothek der TU München, 2024
|
|
|
|
64 |
Depth-d Frege Systems Are Not Automatable Unless ?? = NP
Papamakarios, Theodoros. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
65 |
Derandomizing Logspace with a Small Shared Hard Drive
Pyne, Edward. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
66 |
Dimension Independent Disentanglers from Unentanglement and Applications
Jeronimo, Fernando Granha. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
67 |
Disentangling the Computational Complexity of Network Untangling
Froese, Vincent. - Berlin : Humboldt-Universität zu Berlin, 2024
|
|
|
|
68 |
Distribution-Free Proofs of Proximity
Aaronson, Hugo. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
69 |
Exact Search-To-Decision Reductions for Time-Bounded Kolmogorov Complexity
Hirahara, Shuichi. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
70 |
Explicit Directional Affine Extractors and Improved Hardness for Linear Branching Programs
Li, Xin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
Administration
