I want to make sure that the following claim is correct. Please let me know what you think.
"Let us assume that we have a constrained non-convex and nonlinear minimization problem. The objective function and all the constraints are differentiable. First of all, I can show that LICQ holds in all the points of the space. Then, I apply the first order necessary conditions (KKT) and find all the points satisfy these conditions. My claim is that it is enough to check the value of objective function at these points (that satisfy the KKT conditions) and pick the one which lead to the least objective value. That point (or maybe points) would be the global minimum of the problem."
Edit: Let's assume that the problem has a minimun.
Is anything wrong with above claim? Does non-convexity make any problem for using KKT conditions? BTW, I use KKT conditions from this page.