Search Results for author:
Found 4 papers, 0 papers with code
Exploiting Configurations of MaxSAT Solvers
In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver.
A Benchmark Generator for Combinatorial Testing
Combinatorial Testing (CT) tools are essential to test properly a wide range of systems (train systems, Graphical User Interfaces (GUIs), autonomous driving systems, etc).
Interpretable Decision Trees Through MaxSAT
We present an approach to improve the accuracy-interpretability trade-off of Machine Learning (ML) Decision Trees (DTs).
Incomplete MaxSAT Approaches for Combinatorial Testing
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
