Code and Data Repository for Feasibility verification and upper bound computation in global minimization using approximate active index sets
该软件展示了所提出的可行性验证与上界计算方法在连续变量、非凸约束全局优化中的效果，并集成到空间分支定界法中。
The goal of this software is to demonstrate the effect of our proposed feasibility verification and upper bound computation procedure for global optimization with continuous variables and possibly non-convex inequality and equality constraints. The procedure is integrated into a spatial branch-and-bound method.