Hannes Ihalainen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2026 | SAT | HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper). | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Matti Jrvisalo |
| 2025 | CP | Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo, Bart Bogaerts |
| 2024 | IJCAR | Certified MaxSAT Preprocessing. | Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Jrvisalo, Magnus O. Myreen, Jakob Nordstrm |
| 2023 | CP | Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. | Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Jrvisalo |
| 2023 | IJCAI | Unifying Core-Guided and Implicit Hitting Set Based Optimization. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2022 | CADE | Clause Redundancy and Preprocessing in Maximum Satisfiability. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Refined Core Relaxation for Core-Guided MaxSAT Solving. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |