Ihalainen, H., Vandesande, D., Schidler, A., Berg, J., Bogaerts, B., & Järvisalo, M. (2026). Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. Proceedings of the AAAI Conference on Artificial Intelligence, 40(17), 14251–14260. https://doi.org/10.1609/aaai.v40i17.38439