@misc{indiciaeda2373adb4d5, 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}, url = {https://arxiv.org/abs/1808.03611}, note = {Source identifier: 1808.03611} }