Luc Nicolas Spachmann

According to our database, Luc Nicolas Spachmann authored at least 4 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

Proof Complexity of Propositional Model Counting.

Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann

J. Satisf. Boolean Model. Comput., 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

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