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 • 29 Dec 2022 • Carlos Ansotegui, Eduard Torres
Combinatorial Testing (CT) tools are essential to test properly a wide range of systems (train systems, Graphical User Interfaces (GUIs), autonomous driving systems, etc).
no code implementations • 26 Oct 2021 • Josep Alos, Carlos Ansotegui, Eduard Torres
We present an approach to improve the accuracy-interpretability trade-off of Machine Learning (ML) Decision Trees (DTs).
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.