Follow
Hannes Ihalainen
Hannes Ihalainen
Doctoral Researcher, University of Helsinki
Verified email at helsinki.fi
Title
Cited by
Cited by
Year
Clause redundancy and preprocessing in maximum satisfiability
H Ihalainen, J Berg, M Järvisalo
International Joint Conference on Automated Reasoning, 75-94, 2022
112022
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
112021
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
42023
Refined core relaxations for core-guided maximum satisfiability algorithms
H Ihalainen
Master’s thesis, University of Helsinki, 2022. http://hdl. handle. net/10138 …, 2022
22022
CGSS2 in the 2023 MaxSAT Evaluation
H Ihalainen, J Berg, M Järvisalo
MaxSAT Evaluation 2023, 10, 2022
12022
Certified MaxSAT Preprocessing
H Ihalainen, A Oertel, YK Tan, J Berg, M Järvisalo, J Nordström
arXiv preprint arXiv:2404.17316, 2024
2024
Unifying core-guided and implicit hitting set based optimization
H Ihalainen, J Berg, M Järvisalo
Proceedings of the 32nd International Joint Conference on Artificial …, 2023
2023
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
The system can't perform the operation now. Try again later.
Articles 1–10