TY  - RPRT
TI  - Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
AU  - Christoph Jabs
AU  - Jeremias Berg
AU  - Bart Bogaerts
AU  - Matti Järvisalo
PY  - 2025
DO  - 10.1007/978-3-031-90653-4_6
UR  - https://arxiv.org/abs/2501.17493
ID  - 2501.17493
ER  -