SAT’25
conferences
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…
Aug 10, 2025
June 26, 2025
Welcome! This page logs my participation to conferences, workshops, but also collects talks and notes from 2024-onward.