On the Complexity of Testing Attainment of the Optimal Value in Nonlinear Optimization - Amir Ali Ahmadi; Jeffrey Zhang (2018)