%0 Journal Article %1 journals/jcst/Liu00a %A Liu, Tian %D 2000 %J J. Comput. Sci. Technol. %K dblp %N 5 %P 439-444 %T Some Structural Properties of SAT. %U http://dblp.uni-trier.de/db/journals/jcst/jcst15.html#Liu00a %V 15

@article{journals/jcst/Liu00a, added-at = {2018-09-03T00:00:00.000+0200}, author = {Liu, Tian}, biburl = {https://www.bibsonomy.org/bibtex/2324b2673e7d8246cd297ebc9b01334f7/dblp}, ee = {https://doi.org/10.1007/BF02950407}, interhash = {77b7c514ae5e9f2ada235b2e6371ffa0}, intrahash = {324b2673e7d8246cd297ebc9b01334f7}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 5, pages = {439-444}, timestamp = {2018-09-04T11:36:05.000+0200}, title = {Some Structural Properties of SAT.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst15.html#Liu00a}, volume = 15, year = 2000 }