Presentations

  1. Core Boosting in SAT-Based Multi-Objective Optimization at CPAIOR'24 (05/2024)

    Presentation to go with the paper with the same name

  2. Preprocessing for SAT-Based Multi-Objective Combinatorial Optimization at CP'23 (08/2023)

    Presentation to go with the paper with the same name

  3. Bi-Objective MaxSAT and the BiOptSat Algorithm at MIAO Seminar (12/2022)

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

  4. MaxSAT-Based Bi-Objective Boolean Optimization at SAT'22 @ FLoC '22 (08/2022)

    Presentation to go with the paper with the same name