Solving SAT Problem with Boolean Algebra

Youjun Xu, Dantong Ouyang, Yuxin Ye, Jialiang He. Solving SAT Problem with Boolean Algebra. In Ivan Stojmenovic, Gerald Farin, Minyi Guo, Hai Jin, Keqiu Li, Liang Hu, Xiaohui Wei, Xiangjiu Che, editors, Fifth International Conference on Frontier of Computer Science and Technology, FCST 2010, Changchun, Jilin Province, China, August 18-22, 2010. pages 271-275, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.