SAT’24
conferences
Betwen August 20 and August 24, 2024 I was in Pune (India) presenting the work MaxSAT Resolution with Inclusion Redundancy at SAT 2024.
Warning
Closer to the actual date of the conference I will post here the slides of the presentation.