%0 Journal Article %1 journals/constraints/LiuT07 %A Liu, Lengning %A Truszczynski, Miroslaw %D 2007 %J Constraints An Int. J. %K dblp %N 3 %P 345-369 %T Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. %U http://dblp.uni-trier.de/db/journals/constraints/constraints12.html#LiuT07 %V 12

@article{journals/constraints/LiuT07, added-at = {2020-03-13T00:00:00.000+0100}, author = {Liu, Lengning and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/24812016129c79f47b149d49e1ebd9b4e/dblp}, ee = {https://doi.org/10.1007/s10601-007-9022-z}, interhash = {1bca3f0d060ff656219752fe0bceb9a6}, intrahash = {4812016129c79f47b149d49e1ebd9b4e}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 3, pages = {345-369}, timestamp = {2020-03-14T12:04:17.000+0100}, title = {Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints12.html#LiuT07}, volume = 12, year = 2007 }