MaxSAT-Based Bi-Objective Boolean Optimization. - Christoph Jabs; Jeremias Berg; Andreas Niskanen; Matti Järvisalo (SAT, 2022)

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. - Christoph Jabs; Jeremias Berg; Hannes Ihalainen; Matti Järvisalo (CP, 2023)

Core Boosting in SAT-Based Multi-objective Optimization. - Christoph Jabs; Jeremias Berg; Matti Järvisalo (CPAIOR (2), 2024)

Global Benchmark Database. - Markus Iser; Christoph Jabs (SAT, 2024)

From Single-Objective to Bi-Objective Maximum Satisfiability Solving. - Christoph Jabs; Jeremias Berg; Andreas Niskanen; Matti Järvisalo (J. Artif. Intell. Res., 2024)

Global Benchmark Database. - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

Global Benchmark Database (Extension Module). - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

GBD Evaluation Scripts. - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

GBD Data Repository. - Markus Iser; Christoph Jabs (DROPS Artifacts, 2024)

Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers. - Christoph Jabs; Jeremias Berg; Matti Järvisalo (JELIA (1), 2025)

RustSAT: A Library for SAT Solving in Rust. - Christoph Jabs (SAT, 2025)

Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. - Christoph Jabs; Jeremias Berg; Bart Bogaerts 001; Matti Järvisalo (TACAS (2), 2025)