Clause redundancy and preprocessing in maximum satisfiability H Ihalainen, J Berg, M Järvisalo International Joint Conference on Automated Reasoning, 75-94, 2022 | 14 | 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, HE Ihalainen, M Järvisalo International Conference on Principles and Practice of Constraint …, 2023 | 7 | 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 | 4 | 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 | 3 | 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 |
CGSS2 and CGSS2-AbstCG in the 2024 MaxSAT Evaluation H Ihalainen, J Berg, M Järvisalo MaxSAT Evaluation 2024, 13, 0 | | |
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 | | |