Faster exact solutions for Max2Sat

BibTex:
Research Area:	Uncategorized	Year:	2000
Type of Publication:	In Proceedings
Authors:	Gramm, J. Niedermeier, R.
Editor:	G. Bongiovanni and G. Gambosi and R. Petreschi	Volume:	1767
Book title:	Proceedings of the 4th Italian Conference on Algorithms and Complexity
Series:	LNCS	Pages:	174-186
Address:	Rome, Italy
Month:	March


@conference{Gramm00a, author = "J. Gramm and R. Niedermeier", address = "Rome, Italy", booktitle = "Proceedings of the 4th Italian Conference on Algorithms and Complexity", editor = " G. Bongiovanni and G. Gambosi and R. Petreschi", month = "mar", pages = "174--186", publisher = "Springer", series = "LNCS", title = "{F}aster exact solutions for {M}ax2{S}at", volume = "1767", year = "2000", }
[Bibtex] [RIS] [MODS]

COST FUNCTION