Christoph Jabs

According to our database, Christoph Jabs authored at least 18 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Multi-objective Maximum Satisfiability by Single-Objective Implicit Hitting Set Optimization.

Christoph Jabs, Jeremias Berg, Matti Järvisalo

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2026

2025

Interactions in Constraint Optimization (Dagstuhl Seminar 25371).

Katalin Fazekas, Matti Järvisalo, Nina Narodytska, Peter J. Stuckey, Christoph Jabs

Dagstuhl Reports, September, 2025

RustSAT Benchmarks.

Christoph Jabs

Dataset, August, 2025

RustSAT.

Christoph Jabs

Dataset, August, 2025

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability - TACAS 2025 Artefact.

Christoph Johannes Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Dataset, January, 2025

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability - TACAS 2025 Artefact.

Christoph Johannes Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Dataset, January, 2025

Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability.

Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

RustSAT: A Library for SAT Solving in Rust.

Christoph Jabs

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers.

Christoph Jabs, Jeremias Berg, Matti Järvisalo

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2024

GBD Data Repository.

Ashlin Iser, Christoph Jabs

Dataset, November, 2024

GBD Evaluation Scripts.

Ashlin Iser, Christoph Jabs

Dataset, November, 2024

Global Benchmark Database (Extension Module).

Ashlin Iser, Christoph Jabs

Dataset, November, 2024

Global Benchmark Database.

Ashlin Iser, Christoph Jabs

Dataset, November, 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.

Ashlin Iser, Christoph Jabs

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Core Boosting in SAT-Based Multi-objective Optimization.

Christoph Jabs, Jeremias Berg, Matti Järvisalo

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.

Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

MaxSAT-Based Bi-Objective Boolean Optimization.

Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022