Solving Max-Sat as weighted CSP

BibTex:
Research Area:	Uncategorized	Year:	2003
Type of Publication:	In Proceedings
Authors:	de Givry, Simon Larrosa, Javier Meseguer, Pedro Schiex, Thomas

Book title:	Proc. of the Ninth International Conference on Principles and Practice of Constraint Programming
Series:	LNCS
Address:	Kinsale, Ireland
Month:	October


@conference{deGivry2003, author = "Simon de Givry and Javier Larrosa and Pedro Meseguer and Thomas Schiex", address = "Kinsale, Ireland", booktitle = "Proc. of the Ninth International Conference on Principles and Practice of Constraint Programming", month = "oct", publisher = "Springer Verlag", series = "LNCS", title = "{S}olving {M}ax-{S}at as weighted {CSP}", year = "2003", }
[Bibtex] [RIS] [MODS]

COST FUNCTION