| Clause redundancy and preprocessing in maximum satisfiability H Ihalainen, J Berg, M Järvisalo International Joint Conference on Automated Reasoning, 75-94, 2022 | 12 | 2022 |
| Refined core relaxation for core-guided MaxSAT solving HE Ihalainen, J Berg, M Järvisalo 27th International Conference on Principles and Practice of Constraint …, 2021 | 12 | 2021 |
| 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 |
| Refined core relaxations for core-guided maximum satisfiability algorithms H Ihalainen MSc thesis, University of Helsinki, 2022, http://hdl. handle. net/10138/351207, 2022 | 3 | 2022 |
| Certified MaxSAT Preprocessing H Ihalainen, A Oertel, YK Tan, J Berg, M Järvisalo, MO Myreen, ... International Joint Conference on Automated Reasoning, 396-418, 2024 | 1 | 2024 |
| Unifying Core-Guided and Implicit Hitting Set Based Optimization. H Ihalainen, J Berg, M Järvisalo IJCAI, 1935-1943, 2023 | 1 | 2023 |
| CGSS2 in the 2023 MaxSAT Evaluation H Ihalainen, J Berg, M Järvisalo MaxSAT Evaluation 2023, 10, 2022 | 1 | 2022 |
| Unifying SAT-Based Approaches to Maximum Satisfiability Solving H Ihalainen, J Berg, M Järvisalo Journal of Artificial Intelligence Research 80, 931-976, 2024 | | 2024 |
| Certified MaxSAT Preprocessing Extended version including appendix H Ihalainen, A Oertel, YK Tan, J Berg, M Järvisalo, MO Myreen, ... | | |
| Clause Redundancy and Preprocessing in Maximum Satisfiability Extended version with full proofs H Ihalainen, J Berg, M Järvisalo | | |
| Loppuosataulukon muodostaminen lineaarisessa ajassa H Ihalainen | | |
