Ihalainen, Hannes

2 publications

JAIR 2024 Unifying SAT-Based Approaches to Maximum Satisfiability Solving Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

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