Kaspar Kasche

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Average Case Complexity

Knowledge Based Systems

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche
The Relative Strength of #SAT Proof Systems. SAT (2024)
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree. MFCS (2024)
Olaf Beyersdorff, Kaspar Kasche, Luc Nicolas Spachmann
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds through Circuits and Degree. Electron. Colloquium Comput. Complex. (2024)