Optimizing resource allocation in home care services using MaxSAT | Publicación