Hiess I, Kampel L, Wagner M, Simos DE. IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract). SOCS [Internet]. 2022 Jul. 17 [cited 2026 May 13];15(1):288-90. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/21788