2 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
A Benchmark Generator for Combinatorial Testing
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). While th…
Interpretable Decision Trees Through MaxSAT
Josep Alos, Carlos Ansotegui, Eduard Torres
We present an approach to improve the accuracy-interpretability trade-off of Machine Learning (ML) Decision Trees (DTs). In particular, we apply Maximum Satisfiability technology t…
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…