Christoph Jabs

11 papers A 4Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability.
TACAS (2)
Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025 J jnl
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability.
CoRR
Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025 — conf
Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers.
JELIA (1)
Christoph Jabs, Jeremias Berg, Matti Järvisalo
2025 J jnl
RustSAT: A Library For SAT Solving in Rust.
CoRR
Christoph Jabs
2025 A conf
RustSAT: A Library for SAT Solving in Rust.
SAT
Christoph Jabs
2024 — conf
Core Boosting in SAT-Based Multi-objective Optimization.
CPAIOR (2)
Christoph Jabs, Jeremias Berg, Matti Järvisalo
2024 J jnl
From Single-Objective to Bi-Objective Maximum Satisfiability Solving.
J. Artif. Intell. Res.
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
2024 A conf
Global Benchmark Database.
SAT
Ashlin Iser, Christoph Jabs
2024 J jnl
Global Benchmark Database.
CoRR
Ashlin Iser, Christoph Jabs
2023 A conf
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.
CP
Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo
2022 A conf
MaxSAT-Based Bi-Objective Boolean Optimization.
SAT
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo