BiOptSat - A Bi-objective MaxSAT Solver

BiOptSat is a MaxSAT-based solver for bi-objective optimization problems. It allows for finding all Pareto-optimal solutions to problems expressed as propositional logic constraints under two linear objectives.

Links

  1. Code
  1. SAT'22 Conference Paper
  1. SAT'22 Conference Paper
  1. Extended JAIR Paper
  1. SAT'22 Slides
  1. Extended Slides for MIAO Seminar
  1. Poster

Original Conference Publication

Jabs, C., Berg, J., Niskanen, A., & Järvisalo, M. (2022). MaxSAT-Based Bi-Objective Boolean Optimization. In K. S. M. Meel & O. Strichman (Eds.), 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) (Vol. 236, pp. 12:1–12:23). Schloss Dagstuhl—Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2022.12

[Details]

Extended Journal Publication

Jabs, C., Berg, J., Niskanen, A., & Järvisalo, M. (2024). From Single-Objective to Bi-Objective Maximum Satisfiability Solving. Journal of Artificial Intelligence Research, 80, 1223–1269. https://doi.org/10.1613/jair.1.15333

[Details]