Some Structural Properties of SAT.
https://doi.org/10.1007/BF02950407
@article{DBLP:journals/jcst/Liu00a,
author = {Tian Liu},
title = {Some Structural Properties of {SAT}},
journal = {J. Comput. Sci. Technol.},
volume = {15},
number = {5},
pages = {439--444},
year = {2000},
url = {https://doi.org/10.1007/BF02950407},
doi = {10.1007/BF02950407},
timestamp = {Mon, 03 Sep 2018 00:14:34 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Liu00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}