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 [Internet]. 2026 Mar. 14 [cited 2026 May 15];40(17):14251-60. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/38439