%0 Journal Article %1 journals/corr/abs-0712-1097 %A Marques-Silva, João %A Planes, Jordi %D 2007 %J CoRR %K dblp %T On Using Unsatisfiability for Solving Maximum Satisfiability %U http://dblp.uni-trier.de/db/journals/corr/corr0712.html#abs-0712-1097 %V abs/0712.1097

@article{journals/corr/abs-0712-1097, added-at = {2020-02-24T00:00:00.000+0100}, author = {Marques-Silva, João and Planes, Jordi}, biburl = {https://www.bibsonomy.org/bibtex/2e6293cd3e5503405b1a08371a9856dfd/dblp}, ee = {http://arxiv.org/abs/0712.1097}, interhash = {de8cf374d3d3961cef9b8a280bda9df4}, intrahash = {e6293cd3e5503405b1a08371a9856dfd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-02-25T13:02:40.000+0100}, title = {On Using Unsatisfiability for Solving Maximum Satisfiability}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0712.html#abs-0712-1097}, volume = {abs/0712.1097}, year = 2007 }