Quantified Maximum Satisfiability: | Publicación