Worst Case Upper Bound for the Maximum Hamming Distance X3SAT Problem
FU Linlu, ZHOU Junping, YIN Minghao
Journal of Frontiers of Computer Science and Technology . 2012, (7): 664 -671 .