Hannes Ihalainen

According to our database, Hannes Ihalainen authored at least 11 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach.

Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Experimental Repository for "Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach".

Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Dataset, November, 2025

Supplementary Material for "Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets".

Hannes Ihalainen, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Dataset, June, 2025

Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo, Bart Bogaerts

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Unifying SAT-Based Approaches to Maximum Satisfiability Solving.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

J. Artif. Intell. Res., 2024

Certified MaxSAT Preprocessing.

Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström

CoRR, 2024

Certified MaxSAT Preprocessing.

Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Unifying Core-Guided and Implicit Hitting Set Based Optimization.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.

Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Clause Redundancy and Preprocessing in Maximum Satisfiability.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Refined Core Relaxation for Core-Guided MaxSAT Solving.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021