Noureddine Bouhmala, Mats Oselan, Øyestein Brådland. Enhanced WalkSAT with Variable Neighborhood Search for MAX-SAT Problems. In Yaxin Bi, Supriya Kapoor, Rahul Bhatia, editors, Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016 - Volume 1, London, UK, 21-22 September 2016. Volume 15 of Lecture Notes in Networks and Systems, pages 368-376, Springer, 2016. [doi]
Abstract is missing.