| MaxSAT-based bi-objective boolean optimization CJ Jabs, J Berg, A Niskanen, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2022 | 11 | 2022 |
| Preprocessing in SAT-based multi-objective combinatorial optimization C Jabs, J Berg, HE Ihalainen, M Järvisalo International Conference on Principles and Practice of Constraint …, 2023 | 7 | 2023 |
| From single-objective to bi-objective maximum satisfiability solving C Jabs, J Berg, A Niskanen, M Järvisalo Journal of Artificial Intelligence Research 80, 1223-1269, 2024 | 2 | 2024 |
| Core boosting in SAT-based multi-objective optimization C Jabs, J Berg, M Järvisalo International Conference on the Integration of Constraint Programming …, 2024 | 2 | 2024 |
| GBD Evaluation Scripts M Iser, C Jabs Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | 1 | 2024 |
| GBD Data Repository M Iser, C Jabs Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | 1 | 2024 |
| A maximum satisfiability based approach to bi-objective boolean optimization C Jabs Master’s thesis, University of Helsinki, Finland, 2022 | 1 | 2022 |
| Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability C Jabs, J Berg, B Bogaerts, M Järvisalo arXiv preprint arXiv:2501.17493, 2025 | | 2025 |
| Global Benchmark Database M Iser, C Jabs arXiv preprint arXiv:2405.10045, 2024 | | 2024 |
| 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) M Garcia de la Banda, JHM Lee, L Perron, F Didier, S Gay, T Schiex, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| PB-OLL-RS and MIXED-BAG in Pseudo-Boolean Competition 2024 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 | | |
Jeremias BergAcademy Research Fellow, University of HelsinkiEmail yang diverifikasi di helsinki.fi