The works Redundancy rules for MaxSAT (joint work with Maria Luisa Bonet, Sam Buss and Massimo Lauria), Semi-Algebraic Proof Systems for QBF (joint work with Olaf Beyersdorff, Kaspar Kasche, Meena Mahajan and Luc Nicolas Spachmann), and An Algebraic Approach to MaxCSP (joint work with Jordi Levy) have been accepted at SAT 2025!
Between August 10 and August 16, 2025 I will be in Glasgow (UK) presenting probably one of them.
Closer to the conference I’ll update this post with slides.
read the article
Closer to the actual date of the conference I will post here the slides of the presentation.
