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

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract)Irene Hiess, Ludwig Kampel, Michael Wagner 0026, Dimitris E. Simos. socs 2022: 288-290 [doi]

Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array GenerationKristoffer Kleine, Ilias S. Kotsireas, Dimitris E. Simos. iwoca 2018: 189-200 [doi]

runs on WebDSL