Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers.

Zhe Wu, Benjamin W. Wah

Browse the full ICTAI paper archive.