%0 Journal Article %1 journals/jcst/WahW05 %A Wah, Benjamin W. %A Wu, Zhe %D 2005 %J J. Comput. Sci. Technol. %K dblp %N 1 %P 3-17 %T Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems. %U http://dblp.uni-trier.de/db/journals/jcst/jcst20.html#WahW05 %V 20

@article{journals/jcst/WahW05, added-at = {2024-01-19T00:00:00.000+0100}, author = {Wah, Benjamin W. and Wu, Zhe}, biburl = {https://www.bibsonomy.org/bibtex/2370fdaa6f37f00e3cb75b29604f63534/dblp}, ee = {https://doi.org/10.1007/s11390-005-0002-8}, interhash = {bb1880f1c932e9a738e03c538803401c}, intrahash = {370fdaa6f37f00e3cb75b29604f63534}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 1, pages = {3-17}, timestamp = {2024-04-08T14:31:34.000+0200}, title = {Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst20.html#WahW05}, volume = 20, year = 2005 }