MiniMaxSat: A New Weighted Max-SAT
                   Solver

BibTex:
Research Area:	Uncategorized	Year:	2007
Type of Publication:	In Proceedings
Authors:	Heras, Federico Larrosa, Javier Oliveras, Albert

Book title:	Proc. of SAT'2007	Number:	4501
Series:	LNCS	Pages:	41-55
Address:	Lisbon, Portugal
Month:	May


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

COST FUNCTION