TY  - JOUR
AU  - Wu, Zhe
AU  - Wah, Benjamin W.
PY  - 1999//
TI  - Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems
SP  - 673
EP  - 678
CY  - aaai99l
ID  - Wah99
ER  -