13 citations · 29 across the 7 of their papers we have counts for
4 papers · 1 filter
Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selection
Hai Xia, Carlos Ansótegui, Stefan Szeider
Algorithm selection for constraint satisfaction problems requires extracting features that capture problem structure. Manually designing feature extractors demands deep domain expe…
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…
Community Structure in Industrial SAT Instances
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru +2
Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is…
The Fractal Dimension of SAT Formulas
C. Ansótegui, M. L. Bonet, J. Giráldez-Cru +1
Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental testing proces…