On Transforming the Satisfiability and Maximum Satisfiability Problems into Set Covering Problems - Fulop, J; Jaumard, Brigitte (Groupe d’études et de recherche en analyse des décisions, 1990)