Presentations

1. 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]
2. 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]