%0 Journal Article %1 journals/jsjkx/Chen0W18 %A Chen, Qingshan %A Xu, Yang %A Wu, Guanfeng %D 2018 %J 计算机科学 %K dblp %N 12 %P 137-141 %T 基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx45.html#Chen0W18 %V 45

@article{journals/jsjkx/Chen0W18, added-at = {2020-03-13T00:00:00.000+0100}, author = {Chen, Qingshan and Xu, Yang and Wu, Guanfeng}, biburl = {https://www.bibsonomy.org/bibtex/2a4bffe1c7dae4c48f90c174f32b4c26d/dblp}, ee = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2018.12.021}, interhash = {d937dcb036063cdde48ea1afcf58e6a7}, intrahash = {a4bffe1c7dae4c48f90c174f32b4c26d}, journal = {计算机科学}, keywords = {dblp}, number = 12, pages = {137-141}, timestamp = {2020-03-14T12:09:13.000+0100}, title = {基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx45.html#Chen0W18}, volume = 45, year = 2018 }