I. Hiess, L. Kampel, M. Wagner, and D. E. Simos, “IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract)”, SOCS, vol. 15, no. 1, pp. 288–290, Jul. 2022.