IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract).

Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos

Browse the full SoCS paper archive.