A complete proof of global exponential convergence of a neural network for quadratic optimization with bound constraints | IEEE Journals & Magazine | IEEE Xplore