MaxSAT by improved instance-specific algorithm configuration | Publicación