On Reducing Maximum Independent Set to Minimum Satisfiability | Publicación