Presentations

1. Certifying Pareto Optimality in Multi-objective Maximum Satisfiability at TACAS'25 (05/2025)

   Presentation to go with the paper with the same name

   [Slides] [All Information]
2. Multi-Objective MaxSAT Solving at Research Visist at Vrije Universiteit Brussels (08/2024)

   Overviewing my PhD project in general

   [Slides]
3. Core Boosting in SAT-Based Multi-Objective Optimization at CPAIOR'24 (05/2024)

   Presentation to go with the paper with the same name

   [Slides] [All Information]
4. From Single-Objective to Multi-Objective MaxSAT Solving at CPAIOR'24 (05/2024)

   Extended abstract and poster presentation about the BiOptSat algorithm

   [Poster] [All Information]
5. Preprocessing for SAT-Based Multi-Objective Combinatorial Optimization at CP'23 (08/2023)

   Presentation to go with the paper with the same name

   [Slides] [Poster] [All Information]
6. Bi-Objective MaxSAT and the BiOptSat Algorithm at MIAO Seminar (12/2022)

   Presentation during a research visit, mainly about our SAT’22 paper

   [Slides] [Recording] [All Information]
7. MaxSAT-Based Bi-Objective Boolean Optimization at SAT'22 @ FLoC '22 (08/2022)

   Presentation to go with the paper with the same name

   [Slides] [All Information]