%0 Journal Article %1 journals/corr/LiuCM16 %A Liu, Sixue %A Ceng, Yulong %A de Melo, Gerard %D 2016 %J CoRR %K dblp %T A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas. %U http://dblp.uni-trier.de/db/journals/corr/corr1610.html#LiuCM16 %V abs/1610.00442

@article{journals/corr/LiuCM16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Liu, Sixue and Ceng, Yulong and de Melo, Gerard}, biburl = {https://www.bibsonomy.org/bibtex/2d4a1df25f6ecd7c597b2e5a5b5f03abd/dblp}, ee = {http://arxiv.org/abs/1610.00442}, interhash = {7426586274c7a46398d2eb7b6c03dc50}, intrahash = {d4a1df25f6ecd7c597b2e5a5b5f03abd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:39:38.000+0200}, title = {A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1610.html#LiuCM16}, volume = {abs/1610.00442}, year = 2016 }