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

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

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