Termination of linear programs with nonlinear constraints

Bican Xia, Zhihai Zhang. Termination of linear programs with nonlinear constraints. Journal of Symbolic Computation, 45(11):1234-1249, 2010. [doi]

Abstract

Abstract is missing.