Quantified maximum satisfiability | Publicación