

Under an appropriate constraint qualification, the above are equivalent to the Karush-Kuhn-Tucker (KKT) conditions, and they must be necessarily satisfied if \(x^*\)  is a local solution of (REF ); see [1]} for a discussion of the linear independence constraint qualification (LICQ).
