Feasibility Verification and Upper Bound Computation in Global Minimization Using Approximate Active Index Sets. - Christian Füllner; Peter Kirst; Hendrik Otto; Steffen Rebennack (INFORMS J. Comput., 2024)