Hiess, I., Kampel, L., Wagner, M., & Simos, D. E. (2022). 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, 15(1), 288–290. https://doi.org/10.1609/socs.v15i1.21788