palavras-chave Error bound Karush-Kuhn-Tucker system Newton methods Stabilized sequential quadratic programming Variational Inequality sequential quadratically constrained quadratic pro