%0 Journal Article %1 journals/algorithmica/CrowstonGJY12 %A Crowston, Robert %A Gutin, Gregory %A Jones, Mark %A Yeo, Anders %D 2012 %J Algorithmica %K dblp %N 1 %P 56-68 %T A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Applications. %U http://dblp.uni-trier.de/db/journals/algorithmica/algorithmica64.html#CrowstonGJY12 %V 64

@article{journals/algorithmica/CrowstonGJY12, added-at = {2012-05-23T00:00:00.000+0200}, author = {Crowston, Robert and Gutin, Gregory and Jones, Mark and Yeo, Anders}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c151ccdcc9f6af6e08372d1585ba6840/dblp}, ee = {http://dx.doi.org/10.1007/s00453-011-9550-1}, interhash = {d288cdbd14c344fcab54f6dae44e07e6}, intrahash = {c151ccdcc9f6af6e08372d1585ba6840}, journal = {Algorithmica}, keywords = {dblp}, number = 1, pages = {56-68}, timestamp = {2016-02-02T01:11:37.000+0100}, title = {A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Applications.}, url = {http://dblp.uni-trier.de/db/journals/algorithmica/algorithmica64.html#CrowstonGJY12}, volume = 64, year = 2012 }