TY  - RPRT
TI  - Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
AU  - Hannes Ihalainen
AU  - Dieter Vandesande
AU  - André Schidler
AU  - Jeremias Berg
AU  - Bart Bogaerts
AU  - Matti Järvisalo
PY  - 2025
UR  - https://arxiv.org/abs/2508.07015
ID  - 2508.07015
ER  -