Oberwolfach workshop
Proof Complexity and Beyond

workshops
slides
Date

March 24, 2024

MFO, Oberwolfach Research Institute for Mathematics

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).