PPaperPicks

Olaf Beyersdorff

5 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4NeurIPS ×1

Frequent coauthors

Tim Hoffmann
×3
Kaspar Kasche
×2
Joachim Giesen
×2
Christoph Staudt
×2
Andreas Goral
×1
Agnes Schleitzer
×1
Mark Blacher
×1
Lea Kasche
×1
Benjamin Böhm
×1
Meena Mahajan
×1

Papers

  1. Proof Systems That Tightly Characterise Model Counting Algorithms
    AAAI 2026 · Olaf Beyersdorff,
    Tim Hoffmann
    ,
    Kaspar Kasche
  2. Proof Systems for Tensor-based Model Counting
    AAAI 2026 · Olaf Beyersdorff,
    Joachim Giesen
    ,
    Andreas Goral
    ,
    Tim Hoffmann
    ,
    Kaspar Kasche
    ,
    Christoph Staudt
  3. Computationally Hard Problems Are Hard for QBF Proof Systems Too
    AAAI 2025 ·
    Agnes Schleitzer
    , Olaf Beyersdorff
  4. Exploiting Dynamic Sparsity in Einsum
    NeurIPS 2025 ·
    Christoph Staudt
    ,
    Mark Blacher
    ,
    Tim Hoffmann
    ,
    Lea Kasche
    , Olaf Beyersdorff,
    Joachim Giesen
  5. Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs
    AAAI 2024 · Olaf Beyersdorff,
    Benjamin Böhm
    ,
    Meena Mahajan