|
491 |
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
|
|
|
|
492 |
Public Coin Interactive Proofs for Label-Invariant Distribution Properties
Herman, Tal. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
493 |
Quantum Algorithms for Graph Coloring and Other Partitioning, Covering, and Packing Problems
Gaspers, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
494 |
Quantum Algorithms for Hopcroft’s Problem
Andrejevs, Vladimirs. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
495 |
Quantum Algorithms for One-Sided Crossing Minimization
Caroppo, Susanna. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
496 |
Quantum Non-Identical Mean Estimation: Efficient Algorithms and Fundamental Limits
Hu, Jiachen. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
497 |
Qubit-efficient randomized quantum algorithms for linear algebra
Wang, Samson. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
498 |
Ramsey Properties of Randomly Perturbed Hypergraphs
Aigner-Horev, Elad. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
499 |
Random-Order Online Independent Set of Intervals and Hyperrectangles
Garg, Mohit. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
500 |
Randomness Extractors in AC⁰ and NC¹: Optimal up to Constant Factors
Cheng, Kuan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
Administration
