HIESS, Irene; KAMPEL, Ludwig; WAGNER, Michael; SIMOS, Dimitris E. IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract). Proceedings of the International Symposium on Combinatorial Search, [S. l.], v. 15, n. 1, p. 288–290, 2022. DOI: 10.1609/socs.v15i1.21788. Disponível em: https://ojs.aaai.org/index.php/SOCS/article/view/21788. Acesso em: 13 may. 2026.