TY - RPRT TI - An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem AU - Zhen-Xing Xu AU - Kun He AU - Chu-Min Li PY - 2018 UR - https://arxiv.org/abs/1808.03611 ID - 1808.03611 ER -