An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems.

Zhe Wu, Benjamin W. Wah

Browse the full AAAI paper archive.