Variable Neighbourhood Search for Maximum Weight Satisfiability Problem - Hansen, Pierre; Jaumard, Brigitte; Mladenović, Nenad; Parreira, Anderson D. (Groupe d’études et de recherche en analyse des décisions, 2000)