-
Core Boosting in SAT-Based Multi-Objective Optimization at CPAIOR'24 (05/2024)
Presentation to go with the paper with the same name
-
Preprocessing for SAT-Based Multi-Objective Combinatorial Optimization at CP'23 (08/2023)
Presentation to go with the paper with the same name
-
Bi-Objective MaxSAT and the BiOptSat Algorithm at MIAO Seminar (12/2022)
Presentation during a research visit, mainly about our SAT’22 paper
-
MaxSAT-Based Bi-Objective Boolean Optimization at SAT'22 @ FLoC '22 (08/2022)
Presentation to go with the paper with the same name