Luc Nicolas Spachmann

According to our database, Luc Nicolas Spachmann authored at least 3 papers in 2024.

Collaborative distances:

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

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

Proof Complexity of Propositional Model Counting.

Olaf Beyersdorff, Tim Hoffmann, 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