Resolution in Max-SAT and its relation to local
                   consistency in weighted CSPs

BibTex:
Research Area:	Uncategorized	Year:	2005
Type of Publication:	In Proceedings
Authors:	Larrosa, J. Heras, F.

Book title:	ijcai05p
Pages:	193-198
Address:	ijcai05l



@conference{Heras2005, author = "J. Larrosa and F. Heras", address = "ijcai05l", booktitle = "ijcai05p", pages = "193-198", title = "{R}esolution in {M}ax-{SAT} and its relation to local consistency in weighted {CSP}s", year = "2005", }
[Bibtex] [RIS] [MODS]

COST FUNCTION