Trap Escaping Strategies in Discrete Lagrangian
                   Methods for Solving Hard Satisfiability and Maximum
                   Satisfiability Problems

BibTex:
Research Area:	Uncategorized	Year:	1999
Type of Publication:	In Proceedings
Authors:	Wu, Zhe Wah, Benjamin W.

Book title:	aaai99p
Pages:	673-678
Address:	aaai99l



@conference{Wah99, author = "Zhe Wu and Benjamin W. Wah", address = "aaai99l", booktitle = "aaai99p", pages = "673--678", title = "{T}rap {E}scaping {S}trategies in {D}iscrete {L}agrangian {M}ethods for {S}olving {H}ard {S}atisfiability and {M}aximum {S}atisfiability {P}roblems", year = "1999", }
[Bibtex] [RIS] [MODS]

COST FUNCTION