Hiess, Irene, et al. “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, vol. 15, no. 1, July 2022, pp. 288-90, doi:10.1609/socs.v15i1.21788.