H. Ihalainen, D. Vandesande, A. Schidler, J. Berg, B. Bogaerts, and M. Järvisalo, “Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach”, AAAI, vol. 40, no. 17, pp. 14251–14260, Mar. 2026.