Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems

Benjamin W. Wah, Yao-Jen Chang. Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems. J. Global Optimization, 10(2):107-141, 1997. [doi]

Abstract

Abstract is missing.