Solving SAT Problem with Boolean Algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Youjun Xu' in GoogleThis author has not been identified. Look up 'Dantong Ouyang' in GoogleThis author has not been identified. Look up 'Yuxin Ye' in GoogleThis author has not been identified. Look up 'Jialiang He' in Google

runs on WebDSL