A discrete Lagrangian-based global-search method for solving satisfiability problems (1997)

by B W Wah, Y Shang
Venue:Satisfiability Problem: Theory and Applications