IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation.

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

Browse the full SYNASC paper archive.