%0 Journal Article %1 journals/jcst/HuangZH02 %A Huang, Wenqi %A Zhang, Defu %A Houxiang, Wang %D 2002 %J J. Comput. Sci. Technol. %K dblp %N 3 %P 340-346 %T An Algorithm Based on Tabu Search for Satisfiability Problem. %U http://dblp.uni-trier.de/db/journals/jcst/jcst17.html#HuangZH02 %V 17

@article{journals/jcst/HuangZH02, added-at = {2011-05-17T00:00:00.000+0200}, author = {Huang, Wenqi and Zhang, Defu and Houxiang, Wang}, biburl = {https://www.bibsonomy.org/bibtex/2705b6acee517bcc2e01c7242b631e9ec/dblp}, ee = {http://dx.doi.org/10.1007/BF02947312}, interhash = {1e5414b17d3844568ce1ef57eb7ae0c7}, intrahash = {705b6acee517bcc2e01c7242b631e9ec}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 3, pages = {340-346}, timestamp = {2011-05-18T11:33:11.000+0200}, title = {An Algorithm Based on Tabu Search for Satisfiability Problem.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst17.html#HuangZH02}, volume = 17, year = 2002 }