Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations | Publicación