%0 Journal Article %1 journals/tcs/ChenXW17 %A Chen, Jianer %A Xu, Chao %A Wang, Jianxin %D 2017 %J Theor. Comput. Sci. %K dblp %P 33-44 %T Dealing with 4-variables by resolution: An improved MaxSAT algorithm. %U http://dblp.uni-trier.de/db/journals/tcs/tcs670.html#ChenXW17 %V 670

@article{journals/tcs/ChenXW17, added-at = {2020-08-21T00:00:00.000+0200}, author = {Chen, Jianer and Xu, Chao and Wang, Jianxin}, biburl = {https://www.bibsonomy.org/bibtex/2456a810571038af2520de7b0326d655b/dblp}, ee = {https://doi.org/10.1016/j.tcs.2017.01.020}, interhash = {3ce1fa9c71de49350e2d1955701c9941}, intrahash = {456a810571038af2520de7b0326d655b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {33-44}, timestamp = {2020-08-22T11:35:42.000+0200}, title = {Dealing with 4-variables by resolution: An improved MaxSAT algorithm.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs670.html#ChenXW17}, volume = 670, year = 2017 }