Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems.

Zhe Wu, Benjamin W. Wah

Browse the full AAAI paper archive.