TY  - RPRT
TI  - Exploiting Configurations of MaxSAT Solvers
AU  - Josep Alòs
AU  - Carlos Ansótegui
AU  - Josep M. Salvia
AU  - Eduard Torres
PY  - 2023
UR  - https://arxiv.org/abs/2306.07635
ID  - 2306.07635
ER  -