Proofs and Certificates for Max-SAT (Extended Abstract) | Publicación