Christoph Jabs

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Multiple Objectives

Boolean Optimization

Top Venues

J. Artif. Intell. Res.

Publications

Markus Iser, Christoph Jabs
Global Benchmark Database. SAT (2024)
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
From Single-Objective to Bi-Objective Maximum Satisfiability Solving. J. Artif. Intell. Res. 80 (2024)
Christoph Jabs, Jeremias Berg, Matti Järvisalo
Core Boosting in SAT-Based Multi-objective Optimization. CPAIOR (2) (2024)
Markus Iser, Christoph Jabs
Global Benchmark Database. CoRR (2024)
Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. CP (2023)
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
MaxSAT-Based Bi-Objective Boolean Optimization. SAT (2022)