Sign in
Christoph Jabs
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Multiple Objectives
Nsga Ii
Combinatorial Problems
Boolean Optimization
Top Venues
SAT
CP
</>
Publications
</>
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)