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]
@inproceedings{BouhmalaOB16,
title = {Enhanced WalkSAT with Variable Neighborhood Search for MAX-SAT Problems},
author = {Noureddine Bouhmala and Mats Oselan and Øyestein Brådland},
year = {2016},
doi = {10.1007/978-3-319-56994-9_26},
url = {https://doi.org/10.1007/978-3-319-56994-9_26},
researchr = {https://researchr.org/publication/BouhmalaOB16},
cites = {0},
citedby = {0},
pages = {368-376},
booktitle = {Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016 - Volume 1, London, UK, 21-22 September 2016},
editor = {Yaxin Bi and Supriya Kapoor and Rahul Bhatia},
volume = {15},
series = {Lecture Notes in Networks and Systems},
publisher = {Springer},
isbn = {978-3-319-56994-9},
}