%0 Journal Article %1 journals/ol/ZhuY14 %A Zhu, Wenxing %A Yan, Yuanhui %D 2014 %J Optim. Lett. %K dblp %N 1 %P 359-374 %T Solving the weighted MAX-SAT problem using the dynamic convexized method. %U http://dblp.uni-trier.de/db/journals/ol/ol8.html#ZhuY14 %V 8

@article{journals/ol/ZhuY14, added-at = {2020-07-03T00:00:00.000+0200}, author = {Zhu, Wenxing and Yan, Yuanhui}, biburl = {https://www.bibsonomy.org/bibtex/2b348d8ef929c354814829e10815fe08f/dblp}, ee = {https://doi.org/10.1007/s11590-012-0583-4}, interhash = {c3fac3d2b50efb021d88acc27826a116}, intrahash = {b348d8ef929c354814829e10815fe08f}, journal = {Optim. Lett.}, keywords = {dblp}, number = 1, pages = {359-374}, timestamp = {2020-07-04T11:48:18.000+0200}, title = {Solving the weighted MAX-SAT problem using the dynamic convexized method.}, url = {http://dblp.uni-trier.de/db/journals/ol/ol8.html#ZhuY14}, volume = 8, year = 2014 }