Mixed-Integer Column Generation Algorithms and the Probabilistic Maximum Satisfiability Problem - Hansen, Pierre; Jaumard, Brigitte; Poggi De Aragao, Marcus V.S. (Groupe d’études et de recherche en analyse des décisions, 1996)