Meta data
- BibTeX key
- conf/fcst/XuOYH10
- entry type
- inproceedings
- booktitle
- FCST
- year
- 2010
- pages
- 271-275
- publisher
- IEEE Computer Society
- crossref
- conf/fcst/2010
- ee
- https://doi.ieeecomputersociety.org/10.1109/FCST.2010.13
- isbn
- 978-0-7695-4139-6
- url
- http://dblp.uni-trier.de/db/conf/fcst/fcst2010.html#XuOYH10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fcst/XuOYH10
%A Xu, Youjun
%A Ouyang, Dantong
%A Ye, Yuxin
%A He, Jialiang
%B FCST
%D 2010
%E Stojmenovic, Ivan
%E Farin, Gerald E.
%E Guo, Minyi
%E Jin, Hai
%E Li, Keqiu
%E Hu, Liang
%E Wei, Xiaohui
%E Che, Xiangjiu
%I IEEE Computer Society
%K dblp
%P 271-275
%T Solving SAT Problem with Boolean Algebra.
%U http://dblp.uni-trier.de/db/conf/fcst/fcst2010.html#XuOYH10
%@ 978-0-7695-4139-6
@inproceedings{conf/fcst/XuOYH10,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Xu, Youjun and Ouyang, Dantong and Ye, Yuxin and He, Jialiang},
biburl = {https://www.bibsonomy.org/bibtex/2c6a79cdc267bc969a6334fbe8b736879/dblp},
booktitle = {FCST},
crossref = {conf/fcst/2010},
editor = {Stojmenovic, Ivan and Farin, Gerald E. and Guo, Minyi and Jin, Hai and Li, Keqiu and Hu, Liang and Wei, Xiaohui and Che, Xiangjiu},
ee = {https://doi.ieeecomputersociety.org/10.1109/FCST.2010.13},
interhash = {1cc1f20b407577c935e31775e7b7623a},
intrahash = {c6a79cdc267bc969a6334fbe8b736879},
isbn = {978-0-7695-4139-6},
keywords = {dblp},
pages = {271-275},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T22:42:51.000+0200},
title = {Solving SAT Problem with Boolean Algebra.},
url = {http://dblp.uni-trier.de/db/conf/fcst/fcst2010.html#XuOYH10},
year = 2010
}