@conference{HLO07,
author = "Federico Heras and Javier Larrosa and Albert Oliveras",
address = "Lisbon, Portugal",
booktitle = "Proc. of SAT'2007",
month = "may",
number = "4501",
pages = "41-55",
series = "LNCS",
title = "{M}ini{M}ax{S}at: {A} {N}ew {W}eighted {M}ax-{SAT}
                   {S}olver",
year = "2007",
}