|
51 |
A Technique for Hardness Amplification Against AC⁰
Hoza, William M.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
52 |
Asymptotically-Good RLCCs with (log n)^(2+o(1)) Queries
Cohen, Gil. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
53 |
Baby PIH: Parameterized Inapproximability of Min CSP
Guruswami, Venkatesan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
54 |
BPL ⊆ L-AC¹
Cheng, Kuan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
55 |
Capturing the Computational Complexity of Geometric Problems by the First-Order Theory of the Reals
Jungeblut, Paul. - Karlsruhe : KIT-Bibliothek, 2024
|
|
|
|
56 |
Communication Complexity and Discrepancy of Halfplanes
Ahmed, Manasseh. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
57 |
Complexity of Robust Orbit Problems for Torus Actions and the abc-Conjecture
Bürgisser, Peter. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
58 |
Computational Complexity of Matching Match Puzzle
Iburi, Yuki. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
59 |
Computational Complexity of Verifying Parameterized Systems
Ayikudi Ramachandrakumar, Balasubramanian. - München : Universitätsbibliothek der TU München, 2024
|
|
|
|
60 |
Depth-d Frege Systems Are Not Automatable Unless ?? = NP
Papamakarios, Theodoros. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
Administration
