%0 Journal Article %1 journals/apin/FuLX20 %A Fu, Huimin %A Liu, Jun %A Xu, Yang %D 2020 %J Appl. Intell. %K dblp %N 12 %P 4732-4753 %T Focused random walk with probability distribution for SAT with long clauses. %U http://dblp.uni-trier.de/db/journals/apin/apin50.html#FuLX20 %V 50

@article{journals/apin/FuLX20, added-at = {2020-11-20T00:00:00.000+0100}, author = {Fu, Huimin and Liu, Jun and Xu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2215268bb66090d0e400d7575e8b04fb4/dblp}, ee = {https://doi.org/10.1007/s10489-020-01768-3}, interhash = {8f8216369aafd55eb8b822b0cc51741d}, intrahash = {215268bb66090d0e400d7575e8b04fb4}, journal = {Appl. Intell.}, keywords = {dblp}, number = 12, pages = {4732-4753}, timestamp = {2020-11-21T11:35:36.000+0100}, title = {Focused random walk with probability distribution for SAT with long clauses.}, url = {http://dblp.uni-trier.de/db/journals/apin/apin50.html#FuLX20}, volume = 50, year = 2020 }