@article{aniterativepathbreakingapproachwith, title = {An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem}, author = {Zhen-Xing Xu and Kun He and Chu-min Li}, year = {2018}, eprint = {1808.03611}, archivePrefix = {arXiv}, url = {http://arxiv.org/abs/1808.03611v1}, }