research
∙
06/13/2023
Exploiting Configurations of MaxSAT Solvers
In this paper, we describe how we can effectively exploit alternative pa...
share
research
∙
12/29/2022
A Benchmark Generator for Combinatorial Testing
Combinatorial Testing (CT) tools are essential to test properly a wide r...
research
∙
10/26/2021
Learning Optimal Decision Trees Using MaxSAT
We present a Combinatorial Optimization approach based on Maximum Satisf...
research
∙
05/26/2021
