Mapping Many-Valued CNF Formulas to Boolean CNF Formulas | Publicación