TY  - JOUR
AU  - Wah, Benjamin W.
AU  - Shang, Yi
PY  - 1997//
TI  - Discrete Lagrangian-Based Search for Solving MAX-SAT Problems
SP  - 378
EP  - 383
CY  - ijcai97l
ID  - Wah97
ER  -