Randomized Approximation Algorithm for MAX-CNF

• 求解MAX-CNF问题的一种随机近似算法