Algorithms for the Maximum Satisfiability Problem

BibTex:
Research Area:	MaxSAT	Year:	1990
Type of Publication:	Article
Authors:	Hansen, P. Jaumard, B.
Journal:	Computing	Volume:	44
Pages:	279-303


@article{HJ90, author = "P. Hansen and B. Jaumard", journal = "Computing", pages = "279-303", publisher = "Springer-Verlag", title = "{A}lgorithms for the {M}aximum {S}atisfiability {P}roblem", volume = "44", year = "1990", }
[Bibtex] [RIS] [MODS]

COST FUNCTION