Kaspar Kasche

According to our database, Kaspar Kasche authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Semi-Algebraic Proof Systems for QBF.

Olaf Beyersdorff, Ilario Bonacina, Kaspar Kasche, Meena Mahajan, Luc Nicolas Spachmann

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

2024

Polynomial Calculus for Quantified Boolean Logic: Lower Bounds through Circuits and Degree.

Olaf Beyersdorff, Kaspar Kasche, Luc Nicolas Spachmann

Electron. Colloquium Comput. Complex., 2024

SAT and Interactions (Dagstuhl Seminar 24421).

Olaf Beyersdorff, Laura Kovács, Meena Mahajan, Martina Seidl, Kaspar Kasche

Dagstuhl Reports, 2024

The Relative Strength of #SAT Proof Systems.

Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree.

Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024