MaxSAT by Improved Instance-Specific Algorithm Configuration | Publicación