Yi Shang, Benjamin W. Wah. Improving the performance of discrete Lagrange-multiplier search for solving hard SAT problems. In Tenth IEEE International Conference on Tools with Artificial Intelligence, ICTAI '98, Taipei, Taiwan, November 10-12, 1998. pages 176-183, IEEE, 1998. [doi]
Abstract is missing.