Now showing items 1-1 of 1

    • Incomplete MaxSAT approaches for combinatorial testing 

      Ansótegui Gil, Carlos José; Manyà Serres, Felip; Ojeda Contreras, Jesús; Salvia Hornos, Josep M.; Torres, Eduard (Springer, 2022)
      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 problem is central in Combinatorial Testing for ...