@inproceedings{DBLP:conf/tacas/JabsBBJ25,
  author       = {Christoph Jabs and
                  Jeremias Berg and
                  Bart Bogaerts and
                  Matti J{\"{a}}rvisalo},
  title        = {Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 31st International Conference, {TACAS} 2025, Held as Part of the
                  International Joint Conferences on Theory and Practice of Software,
                  {ETAPS} 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part
                  {II}},
  pages        = {108--129},
  year         = {2025},
  crossref     = {DBLP:conf/tacas/2025-2},
  url          = {https://doi.org/10.1007/978-3-031-90653-4\_6},
  doi          = {10.1007/978-3-031-90653-4\_6},
  timestamp    = {Sat, 31 May 2025 23:12:18 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/JabsBBJ25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tacas/2025-2,
  editor       = {Arie Gurfinkel and
                  Marijn Heule},
  title        = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 31st International Conference, {TACAS} 2025, Held as Part of the
                  International Joint Conferences on Theory and Practice of Software,
                  {ETAPS} 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15697},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-90653-4},
  doi          = {10.1007/978-3-031-90653-4},
  isbn         = {978-3-031-90652-7},
  timestamp    = {Tue, 03 Jun 2025 17:30:07 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/2025-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}