@inproceedings{AlonGutinKimSzeiderYeo10,
 author = {Noga Alon and
Gregory Gutin and
Eun Jung Kim and
Stefan Szeider and
Anders Yeo},
 booktitle = {Proceedings of the Twenty-First Annual ACM-SIAM Symposium
on Discrete Algorithms, SODA 2010, Austin, Texas, USA, January
17-19, 2010},
 doi = {10.1137/1.9781611973075.44},
 editor = {Moses Charikar},
 pages = {511-517},
 publisher = {SIAM},
 title = {Solving {MAX}-r-{SAT} Above a Tight Lower Bound},
 year = {2010}
}