Oberwolfach workshop
Proof Complexity and Beyond
workshops
slides
Betwen March 24 and March 29, 2024 I was participating to my second Oberwolfach workshop, the Oberwolfach workshop 2413 Proof Complexity and Beyond.
I gave a presentation with title Proof systems for MaxSAT based on joint works with Maria Luisa Bonet (UPC) and Jordi Levy (IIIA-CSIC).