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]
@inproceedings{XuOYH10,
title = {Solving SAT Problem with Boolean Algebra},
author = {Youjun Xu and Dantong Ouyang and Yuxin Ye and Jialiang He},
year = {2010},
doi = {10.1109/FCST.2010.13},
url = {http://doi.ieeecomputersociety.org/10.1109/FCST.2010.13},
tags = { algebra},
researchr = {https://researchr.org/publication/XuOYH10},
cites = {0},
citedby = {0},
pages = {271-275},
booktitle = {Fifth International Conference on Frontier of Computer Science and Technology, FCST 2010, Changchun, Jilin Province, China, August 18-22, 2010},
editor = {Ivan Stojmenovic and Gerald Farin and Minyi Guo and Hai Jin and Keqiu Li and Liang Hu and Xiaohui Wei and Xiangjiu Che},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4139-6},
}