Zhe Wu, Benjamin W. Wah. Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems. In AAAI/IAAI. pages 673-678, 1999.
No references recorded for this publication.
No citations of this publication recorded.