Enhanced WalkSAT with Variable Neighborhood Search for MAX-SAT Problems. - Noureddine Bouhmala; Mats Oselan; Øyestein Brådland (IntelliSys (1), 2016)