@article{HerasetalJAIR2008,
 author = {Federico Heras and Javier Larrosa and Albert Oliveras},
 title = {{MiniMaxSAT: An efficient Weighted Max-SAT Solver}},
 journal = {Journal of Artificial Intelligence Research},
 volume = {31},
 year = {2008},
 pages = {1--32}
 }