Zhe Wu, Benjamin W. Wah An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2000, pp:310-315 [Conf]
Zhe Wu, Benjamin W. Wah Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1999, pp:673-678 [Conf]
Zhe Wu, Benjamin W. Wah Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers. [Citation Graph (0, 0)][DBLP] ICTAI, 1999, pp:210-217 [Conf]
Benjamin W. Wah, Zhe Wu Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2005, v:20, n:1, pp:3-17 [Journal]