Luc Nicolas Spachmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions. | S. Akshay, Olaf Beyersdorff, Supratik Chakraborty, Lea Kasche, Meena Mahajan, Luc Nicolas Spachmann |
| 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 |
| 2023 | SAT | Proof Complexity of Propositional Model Counting. | Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann |