Quanrun Fan, Zhenhua Duan, Cong Tian, Hongwei Du. Clustering and Partition Based Divide and Conquer for SAT Solving. In 10th International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2014, Maui, HI, USA, December 19-21, 2014. pages 299-307, IEEE, 2014. [doi]
Abstract is missing.