Christoph Jabs

According to our database, Christoph Jabs authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

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