|
661 |
Practical Computation of Graph VC-Dimension
Coudert, David. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
662 |
Practical Expander Decomposition
Gottesbüren, Lars. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
663 |
Practical Minimum Path Cover
Cáceres, Manuel. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
664 |
Private Counting of Distinct Elements in the Turnstile Model and Extensions
Henzinger, Monika. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
665 |
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Demirović, Emir. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
666 |
Public Coin Interactive Proofs for Label-Invariant Distribution Properties
Herman, Tal. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
667 |
Quantum Algorithms for Graph Coloring and Other Partitioning, Covering, and Packing Problems
Gaspers, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
668 |
Quantum Algorithms for Hopcroft’s Problem
Andrejevs, Vladimirs. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
669 |
Quantum Algorithms for One-Sided Crossing Minimization
Caroppo, Susanna. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
670 |
Quantum Non-Identical Mean Estimation: Efficient Algorithms and Fundamental Limits
Hu, Jiachen. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
Administration
