Kaspar Kasche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Proof Systems for Tensor-based Model Counting. | Olaf Beyersdorff, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, Christoph Staudt |
| 2026 | AAAI | Proof Systems That Tightly Characterise Model Counting Algorithms. | Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche |
| 2025 | SAT | Semi-Algebraic Proof Systems for QBF. | Olaf Beyersdorff, Ilario Bonacina, Kaspar Kasche, Meena Mahajan, Luc Nicolas Spachmann |
| 2024 | MFCS | Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree. | Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann |
| 2024 | SAT | The Relative Strength of #SAT Proof Systems. | Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche |