|
1 |
A Lower Bound for k-DNF Resolution on Random CNF Formulas via Expansion
Sofronova, Anastasia. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
A Min-Entropy Approach to Multi-Party Communication Lower Bounds
Huang, Mi-Ying (Miryam). - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
3 |
Algebraic Metacomplexity and Representation Theory
van den Berg, Maxim. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
4 |
Algebraic Pseudorandomness in VNC⁰
Andrews, Robert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
5 |
Amortized Closure and Its Applications in Lifting for Resolution over Parities
Efremenko, Klim. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
6 |
Biased Linearity Testing in the 1% Regime
Khot, Subhash. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
7 |
Bosonic Quantum Computational Complexity
Chabaud, Ulysse. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
8 |
Characterizing the Distinguishability of Product Distributions Through Multicalibration
Marcussen, Cassandra. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
9 |
Computational Complexity Meets Statistical Efficiency: From Change Point Estimation to Monotonicity Testing
Liu, Zhi. - Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2025
|
|
|
|
10 |
Computational Complexity of the Weisfeiler-Leman Dimension
Lichter, Moritz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
Administration
