@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",
}