A MAX-SAT Algorithm Portfolio | Publicación