no code implementations • 13 Jun 2023 • Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver.
no code implementations • 26 May 2021 • Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
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.
