We stand with Ukraine  

Christoph Jabs

Orcid: 0000-0003-3532-696X

According to our database1, Christoph Jabs authored at least 12 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Christoph Jabs
Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers.
[BibTeX]
[DOI]
Christoph Jabs
,
Jeremias Berg
,
Matti Järvisalo
Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2024
GBD Data Repository.
[BibTeX]
[DOI]
Markus Iser
,
Christoph Jabs
Dataset, November, 2024

GBD Evaluation Scripts.
[BibTeX]
[DOI]
Markus Iser
,
Christoph Jabs
Dataset, November, 2024

Global Benchmark Database (Extension Module).
[BibTeX]
[DOI]
Markus Iser
,
Christoph Jabs
Dataset, November, 2024

Global Benchmark Database.
[BibTeX]
[DOI]
Markus Iser
,
Christoph Jabs
Dataset, November, 2024

From Single-Objective to Bi-Objective Maximum Satisfiability Solving.
[BibTeX]
[DOI]
Christoph Jabs
,
Jeremias Berg
,
Andreas Niskanen
,
Matti Järvisalo
J. Artif. Intell. Res., 2024

Global Benchmark Database.
[BibTeX]
[DOI]
Markus 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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Christoph Jabs
,
Jeremias Berg
,
Andreas Niskanen
,
Matti Järvisalo
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022


  Loading...