@InProceedings{Herasetal2007SAT,
  author    = {Federico Heras and
               Javier Larrosa and
               Albert Oliveras},
  title     = {{MiniMaxSat: A New Weighted Max-SAT Solver}},
  booktitle = {10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07},
  editor    = {Jo{\~a}o Marques-Silva and
               Karem A. Sakallah},
  pages     = {41-55},
  year      = {2007},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {4501}
}