IHALAINEN, Hannes; VANDESANDE, Dieter; SCHIDLER, André; BERG, Jeremias; BOGAERTS, Bart; JÄRVISALO, Matti. Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 17, p. 14251–14260, 2026. DOI: 10.1609/aaai.v40i17.38439. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/38439. Acesso em: 15 may. 2026.