Refined Core Relaxation for Core-Guided MaxSAT Solving. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (CP, 2021)

Clause Redundancy and Preprocessing in Maximum Satisfiability. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (IJCAR, 2022)

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. - Christoph Jabs; Jeremias Berg; Hannes Ihalainen; Matti Järvisalo (CP, 2023)

Unifying Core-Guided and Implicit Hitting Set Based Optimization. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (IJCAI, 2023)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Magnus O. Myreen; Jakob Nordström (IJCAR (1), 2024)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Jakob Nordström (CoRR, 2024)

Unifying SAT-Based Approaches to Maximum Satisfiability Solving. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (J. Artif. Intell. Res., 2024)

Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo; Bart Bogaerts 001 (CP, 2025)