IOS Press Ebooks - A Max-SAT-Based Approach to Constructing Optimal Covering Arrays
Search
 
loader loading subjects...
cover
A Max-SAT-Based Approach to Constructing Optimal Covering Arrays
Carlos Ansótegui, Idelfonso Izquierdo, Felip Manyà, José Torres Jiménez
51 - 59
10.3233/978-1-61499-320-9-51
Frontiers in Artificial Intelligence and Applications
Volume 256: Artificial Intelligence Research and Development
Abstract

This paper investigates a new exact method for constructing optimal covering arrays based on first encoding the problem as a Partial MaxSAT instance, and then solving the resulting instance with a state-of-the-art MaxSAT solver. To this end, we define an original MaxSAT encoding for covering arrays, and report on the experimentation performed to evaluate our MaxSAT-based approach. The obtained results indicate that MaxSAT is a good alternative for constructing optimal covering arrays, and it is worth to further investigate this new research direction in the area of combinatorial designs.

$35.00 / €27.50 / £22.00
Add PDF to cart