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.

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.

[Details]