@article{AlonGutinKimSzeiderYeo11,
 author = {Alon, Noga and Gutin, Gregory and Kim, Eun Jung and Szeider,
Stefan and Yeo, Anders},
 doi = {10.1007/s00453-010-9428-7},
 journal = {Algorithmica},
 number = {3},
 pages = {638-655},
 title = {Solving {MAX}-{r}-{SAT} above a tight lower bound},
 volume = {61},
 year = {2011}
}