Backbone Guided Local Search for Maximum
                   Satisfiability

BibTex:
Research Area:	Uncategorized	Year:	2003
Type of Publication:	In Proceedings
Authors:	Rangan, A. Zhang, W.

Book title:	ijcai03p

Address:	Acapulco, Mexico
Month:	August


@conference{Zhang03, author = "A. Rangan and W. Zhang", address = "Acapulco, Mexico", booktitle = "ijcai03p", month = "aug", note = "To appear", title = "{B}ackbone {G}uided {L}ocal {S}earch for {M}aximum {S}atisfiability", year = "2003", }
Note:	To appear
[Bibtex] [RIS] [MODS]

COST FUNCTION