Practically solving some problems expressed in the first order theory of real closed field.

Shilong Ma Shucheng Ning

Published in: Int. J. Comput. Math. (1998)

Keyphrases

solving problems
solving complex
problems involving
neural network
real world
theoretical framework
combinatorial optimization
nonlinear programming
linear programming problems
theoretical and practical aspects
quadratic optimization problems