@conference{Wah97,
author = "Benjamin W. Wah and Yi Shang",
address = "ijcai97l",
booktitle = "ijcai97p",
pages = "378-383",
title = "{D}iscrete {L}agrangian-{B}ased {S}earch for {S}olving
                   {MAX}-{SAT} {P}roblems",
year = "1997",
}