@misc{indiciae28bf44d1b2dc,
  title = {Solving MAX-r-SAT Above a Tight Lower Bound},
  author = {Noga Alon and Gregory Gutin and Eun Jung Kim and Stefan Szeider and Anders Yeo},
  year = {2011},
  url = {https://arxiv.org/abs/0907.4573},
  note = {Source identifier: 0907.4573}
}