Linking Łukasiewicz Logic and Boolean Maximum Satisfiability | Publicación