Hiess, I.; Kampel, L.; Wagner, M.; Simos, D. E. IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation With MaxSAT Solving (Extended Abstract). SOCS 2022, 15, 288-290.