| 2026 | CPAIOR | Multi-objective Maximum Satisfiability by Single-Objective Implicit Hitting Set Optimization. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2026 | SAT | Scuttle: A System for Multi-Objective MaxSAT (Tool Paper). | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2025 | JELIA | Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2025 | SAT | RustSAT: A Library for SAT Solving in Rust. | Christoph Jabs |
| 2025 | SoCS | From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search. | Dominik Schreiber, Christoph Jabs, Jeremias Berg |
| 2025 | TACAS | Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. | Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2024 | CPAIOR | Core Boosting in SAT-Based Multi-objective Optimization. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2024 | SAT | Global Benchmark Database. | Ashlin Iser, Christoph Jabs |
| 2023 | CP | Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. | Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Jrvisalo |
| 2022 | SAT | MaxSAT-Based Bi-Objective Boolean Optimization. | Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Jrvisalo |