2 papers
cs.AI2023
Exploiting Configurations of MaxSAT Solvers
Josep Alòs, Carlos Ansótegui, Josep M. Salvia +1
In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver. We describe how these configurations can be computed in the conte…
cs.AI2021
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…