DRMaxSAT with MaxHS: First Contact | Publicación