Irene Hiess, Ludwig Kampel, Michael Wagner 0026, Dimitris E. Simos. IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation. In Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie, editors, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022. pages 71-79, IEEE, 2022. [doi]
Abstract is missing.