Christoph Jabs

According to our database, Christoph Jabs authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

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

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