Exploiting Unit Propagation to Compute Lower
                   Bounds in Branch and Bound Max-SAT Solvers

BibTex:
Research Area:	Uncategorized	Year:	2005
Type of Publication:	In Proceedings
Authors:	Li, C M. Manyà, F. Planes, J.

Book title:	Proc of CP'2005	Number:	3709
Series:	LNCS	Pages:	403-414
Address:	Sitges, Spain



@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", }
[Bibtex] [RIS] [MODS]

COST FUNCTION