Ihalainen, H.; Vandesande, D.; Schidler, A.; Berg, J.; Bogaerts, B.; Järvisalo, M. Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. AAAI 2026, 40, 14251-14260.