A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems (1998)

by Benjamin W. Wah , Yi Shang
Venue:Journal of Global Optimization
Citations:60 - 7 self