SAT’25

Glasgow skyline, UK

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 was in Glasgow (UK) presenting the work An Algebraic Approach to MaxCSP (joint work with Jordi Levy):

View slides in full screen

The work Redundancy rules for MaxSAT (joint work with Maria Luisa Bonet, Sam Buss and Massimo Lauria) was presented by Massimo Lauria:

Download PDF File

The work Semi-Algebraic Proof Systems for QBF (joint work with Olaf Beyersdorff, Kaspar Kasche, Meena Mahajan and Luc Nicolas Spachmann) was presented by Kaspar Kasche:

Download PDF File

read the article

Warning

Closer to the actual date of the conference I will post here the slides of the presentation.