Improving the performance of discrete Lagrange-multiplier search for solving hard SAT problems.

Yi Shang, Benjamin W. Wah

Browse the full ICTAI paper archive.