“…In most known necessary conditions, (F, G) and its derivatives are used, for example in [11,13,26,27,46]. Inspired by the idea in [28,30], the Aubin property is employed to obtain a sharper second-order necessary conditions involving separately derivatives of F and G. From there, constraint qualifications of the Kurcyusz-Robinson-Zowe type, not qualification condition in terms of (F, G), can be invoked to get Karush-Kuhn-Tucker multiplier rules for problem (P).…”