Hannes Ihalainen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Preprocessing Steps

Maximum Satisfiability

Branch And Bound Algorithm

Top Venues

J. Artif. Intell. Res.

Publications

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Unifying SAT-Based Approaches to Maximum Satisfiability Solving. J. Artif. Intell. Res. 80 (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
Certified MaxSAT Preprocessing. IJCAR (1) (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
Certified MaxSAT Preprocessing. CoRR (2024)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Unifying Core-Guided and Implicit Hitting Set Based Optimization. IJCAI (2023)
Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. CP (2023)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Clause Redundancy and Preprocessing in Maximum Satisfiability. IJCAR (2022)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Refined Core Relaxation for Core-Guided MaxSAT Solving. CP (2021)