Hannes Ihalainen

According to our database, Hannes Ihalainen authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

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