‪Christoph Jabs‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	8	8
h-index	1	1
i10-index	0	0

0

4

2

2022202320242 4 2

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jeremias BergPostdoctoral Researcher, University of HelsinkiVerified email at helsinki.fi
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi

Christoph Jabs

Christoph Jabs

Doctoral Researcher, University of Helsinki

Verified email at helsinki.fi - Homepage

boolean optimization


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
MaxSAT-based bi-objective boolean optimization C Jabs, J Berg, A Niskanen, M Järvisalo 25th International Conference on Theory and Applications of Satisfiability …, 2022	7	2022
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization C Jabs, J Berg, H Ihalainen, M Järvisalo 29th International Conference on Principles and Practice of Constraint …, 2023	1	2023
A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization C Jabs Helsingin yliopisto, 2022		2022
Core Boosting in SAT-Based Multi-Objective Optimization C Jabs, J Berg, M Järvisalo
BIOPTSAT and MLIC-SEESAW Benchmarks for the Incremental Track of MaxSAT Evaluation 2022 C Jabs, J Berg, A Niskanen, M Järvisalo MaxSAT Evaluation 2022, 40, 0

The system can't perform the operation now. Try again later.

Articles 1–5