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 | 9 | 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 | 4 | 2023 |
A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization C Jabs Master’s thesis, University of Helsinki, Finland, 2022 | 1 | 2022 |
Core Boosting in SAT-Based Multi-objective Optimization C Jabs, J Berg, M Järvisalo International Conference on the Integration of Constraint Programming …, 2024 | | 2024 |
From Single-Objective to Bi-Objective Maximum Satisfiability Solving C Jabs, J Berg, A Niskanen, 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 | | |