Discrete Lagrangian-Based Search for Solving MAX-SAT Problems.

Benjamin W. Wah, Yi Shang

Browse the full IJCAI paper archive.