%0 Journal Article %1 journals/chinaf/JingZTZZ07 %A e Jing, Ming %A Zhou, Dian %A Tang, Pushan %A Zhou, Xiaofang %A Zhang, Hua %D 2007 %J Sci. China Ser. F Inf. Sci. %K dblp %N 6 %P 915-925 %T Solving SAT problem by heuristic polarity decision-making algorithm. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf50.html#JingZTZZ07 %V 50

@article{journals/chinaf/JingZTZZ07, added-at = {2020-05-18T00:00:00.000+0200}, author = {e Jing, Ming and Zhou, Dian and Tang, Pushan and Zhou, Xiaofang and Zhang, Hua}, biburl = {https://www.bibsonomy.org/bibtex/2a5c2ffc93363ef3ec01cb9a32db90888/dblp}, ee = {https://doi.org/10.1007/s11432-007-0070-1}, interhash = {f0ffd92c224abf387e3265c2ca28fe85}, intrahash = {a5c2ffc93363ef3ec01cb9a32db90888}, journal = {Sci. China Ser. F Inf. Sci.}, keywords = {dblp}, number = 6, pages = {915-925}, timestamp = {2020-05-19T12:08:56.000+0200}, title = {Solving SAT problem by heuristic polarity decision-making algorithm.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf50.html#JingZTZZ07}, volume = 50, year = 2007 }