Incomplete MaxSAT Approaches for Combinatorial Testing

Carlos Ansótegui, Felip Manyà, Jesus Ojeda +2

We present a Satisfiability (SAT)-based approach for building Mixed Covering Arrays with Constraints of minimum length, referred to as the Covering Array Number problem. This probl…