PPaperPicks

Andreas Goral

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Frequent coauthors

Joachim Giesen
×2
Christoph Staudt
×2
Olaf Beyersdorff
×1
Tim Hoffmann
×1
Kaspar Kasche
×1
Mark Blacher
×1
Julien Klaus
×1

Papers

  1. Proof Systems for Tensor-based Model Counting
    AAAI 2026 ·
    Olaf Beyersdorff
    ,
    Joachim Giesen
    , Andreas Goral,
    Tim Hoffmann
    ,
    Kaspar Kasche
    ,
    Christoph Staudt
  2. Model Counting and Sampling via Semiring Extensions
    AAAI 2024 · Andreas Goral,
    Joachim Giesen
    ,
    Mark Blacher
    ,
    Christoph Staudt
    ,
    Julien Klaus