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
∙
04/04/2022
Reducing SAT to Max2XOR
Representing some problems with XOR clauses (parity constraints) can all...
research
∙
10/26/2021
Learning Optimal Decision Trees Using MaxSAT
We present a Combinatorial Optimization approach based on Maximum Satisf...
research
∙
05/26/2021
Incomplete MaxSAT Approaches for Combinatorial Testing
We present a Satisfiability (SAT)-based approach for building Mixed Cove...
research
∙
03/18/2021
Learning How to Optimize Black-Box Functions With Extreme Limits on the Number of Function Evaluations
We consider black-box optimization in which only an extremely limited nu...
research
∙
06/10/2016