Progression in Maximum Satisfiability | Publicación