@conference{LMP05,
author = "C M. Li and F. Many{\`a} and J. Planes",
address = "Sitges, Spain",
booktitle = "Proc of CP'2005",
number = "3709",
pages = "403-414",
series = "LNCS",
title = "{E}xploiting {U}nit {P}ropagation to {C}ompute {L}ower
                   {B}ounds in {B}ranch and {B}ound {M}ax-{SAT} {S}olvers",
year = "2005",
}