{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T21:22:27Z","timestamp":1780521747366,"version":"3.54.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T00:00:00Z","timestamp":1609545600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T00:00:00Z","timestamp":1609545600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Comput Optim Appl"],"published-print":{"date-parts":[[2021,3]]},"DOI":"10.1007\/s10589-020-00250-7","type":"journal-article","created":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T10:03:09Z","timestamp":1609581789000},"page":"625-674","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Theoretical and numerical comparison of the Karush\u2013Kuhn\u2013Tucker and value function reformulations in bilevel optimization"],"prefix":"10.1007","volume":"78","author":[{"given":"Alain B.","family":"Zemkoho","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2843-1614","authenticated-orcid":false,"given":"Shenglong","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,1,2]]},"reference":[{"issue":"2","key":"250_CR1","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/BF00941574","volume":"68","author":"JF Bard","year":"1991","unstructured":"Bard, J.F.: Some properties of the bilevel programming problem. J. Optim. Theory Appl. 68(2), 371\u2013378 (1991)","journal-title":"J. Optim. Theory Appl."},{"key":"250_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2836-1","volume-title":"Practical Bilevel Optimization: Algorithms and Applications","author":"JF Bard","year":"1998","unstructured":"Bard, J.F.: Practical Bilevel Optimization: Algorithms and Applications. Kluwer Academic Publishers, New York (1998)"},{"key":"250_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1394-9","volume-title":"Perturbation Analysis of Optimization Problems","author":"JF Bonnans","year":"2000","unstructured":"Bonnans, J.F., Shapiro, A.: Perturbation Analysis of Optimization Problems. Springer, Berlin (2000)"},{"key":"250_CR4","volume-title":"Optimization and Nonsmooth Analysis","author":"FH Clarke","year":"1983","unstructured":"Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, New York (1983)"},{"issue":"3","key":"250_CR5","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF02592192","volume":"75","author":"T De Luca","year":"1996","unstructured":"De Luca, T., Facchinei, F., Kanzow, C.: A semismooth equation approach to the solution of nonlinear complementarity problems. Math. Program. 75(3), 407\u2013439 (1996)","journal-title":"Math. Program."},{"key":"250_CR6","volume-title":"Foundations of Bilevel Programming","author":"S Dempe","year":"2002","unstructured":"Dempe, S.: Foundations of Bilevel Programming. Kluwer Academic Publishers, New York (2002)"},{"issue":"1\u20132","key":"250_CR7","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10107-010-0342-1","volume":"131","author":"S Dempe","year":"2012","unstructured":"Dempe, S., Dutta, J.: Is bilevel programming a special case of mathematical programming with equilibrium constraints? Math. Program. 131(1\u20132), 37\u201348 (2012)","journal-title":"Math. Program."},{"issue":"5\u20136","key":"250_CR8","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1080\/02331930701617551","volume":"56","author":"S Dempe","year":"2007","unstructured":"Dempe, S., Dutta, J., Mordukhovich, B.S.: New necessary optimality conditions in optimistic bilevel programming. Optimization 56(5\u20136), 577\u2013604 (2007)","journal-title":"Optimization"},{"issue":"3","key":"250_CR9","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/s10589-015-9795-8","volume":"63","author":"S Dempe","year":"2016","unstructured":"Dempe, S., Franke, S.: On the solution of convex bilevel optimization problems. Comput. Optim. Appl. 63(3), 685\u2013703 (2016)","journal-title":"Comput. Optim. Appl."},{"key":"250_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.cor.2012.09.002","volume":"41","author":"S Dempe","year":"2014","unstructured":"Dempe, S., Franke, S.: Solution algorithm for an optimistic linear Stackelberg problem. Comput. Oper. Res. 41, 277\u2013281 (2014)","journal-title":"Comput. Oper. Res."},{"issue":"8","key":"250_CR11","doi-asserted-by":"publisher","first-page":"1471","DOI":"10.1080\/02331934.2019.1581192","volume":"68","author":"S Dempe","year":"2019","unstructured":"Dempe, S., Franke, S.: Solution of bilevel optimization problems using the KKT approach. Optimization 68(8), 1471\u20131489 (2019)","journal-title":"Optimization"},{"key":"250_CR12","doi-asserted-by":"publisher","first-page":"1202","DOI":"10.1016\/j.na.2011.05.097","volume":"75","author":"S Dempe","year":"2012","unstructured":"Dempe, S., Zemkoho, A.B.: On the Karush-Kuhn-Tucker reformulation of the bilevel optimization problem. Nonlinear Anal.: Theory, Methods Appl. 75, 1202\u20131218 (2012)","journal-title":"Nonlinear Anal.: Theory, Methods Appl."},{"key":"250_CR13","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s10957-010-9744-8","volume":"148","author":"S Dempe","year":"2011","unstructured":"Dempe, S., Zemkoho, A.B.: The generalized Mangasarian\u2013Fromowitz constraint qualification and optimality conditions for bilevel programs. J. Optim. Theory Appl. 148, 433\u2013441 (2011)","journal-title":"J. Optim. Theory Appl."},{"key":"250_CR14","volume-title":"Introduction to Sensitivity and Stability Analysis in Nonlinear programming","author":"AV Fiacco","year":"1983","unstructured":"Fiacco, A.V.: Introduction to Sensitivity and Stability Analysis in Nonlinear programming. Academic Press, USA (1983)"},{"issue":"3\u20134","key":"250_CR15","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1080\/02331939208843795","volume":"24","author":"A Fischer","year":"1992","unstructured":"Fischer, A.: A special Newton-type optimization method. Optimization 24(3\u20134), 269\u2013284 (1992)","journal-title":"Optimization"},{"key":"250_CR16","unstructured":"Fischer, A., Zemkoho, A.B., Zhou, S.L.: Semismooth Newton-type method for bilevel optimization: Global convergence and extensive numerical experiments, arXiv:1912.07079 (2019)"},{"key":"250_CR17","unstructured":"Fischer, A., Zemkoho, A.B., Zhou, S.L.: Detailed numerical experiment for \u201cSemismooth newton-type method for bilevel optimization: Global convergence and extensive numerical experiments\u201d, Technical Report, School of Mathematics, University of Southampton, UK (2019)"},{"issue":"2","key":"250_CR18","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s11228-006-0033-5","volume":"15","author":"ML Flegel","year":"2007","unstructured":"Flegel, M.L., Kanzow, C., Outrata, J.V.: Optimality conditions for disjunctive programs with application to mathematical programs with equilibrium constraints. Set-Valued Anal. 15(2), 139\u2013162 (2007)","journal-title":"Set-Valued Anal."},{"key":"250_CR19","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BFb0120984","volume":"18","author":"J Gauvin","year":"1982","unstructured":"Gauvin, J., Dubeau, F.: Differential properties of the marginal function in mathematical programming. Math. Program. Study 18, 101\u2013119 (1982)","journal-title":"Math. Program. Study"},{"issue":"6","key":"250_CR20","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1080\/00036811.2010.495339","volume":"90","author":"R Henrion","year":"2011","unstructured":"Henrion, R., Surowiec, T.: On calmness conditions in convex bilevel programming. Appl. Anal. 90(6), 951\u2013970 (2011)","journal-title":"Appl. Anal."},{"issue":"1\u20133","key":"250_CR21","first-page":"145","volume":"83","author":"HT Jongen","year":"1998","unstructured":"Jongen, H.T., R\u00fcckmann, J.J., Stein, O.: Generalized semi-infinite optimization: A first order optimality condition and examples. Math. Program. 83(1\u20133), 145\u201358 (1998)","journal-title":"Math. Program."},{"issue":"2","key":"250_CR22","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/s10957-017-1109-0","volume":"174","author":"L Lampariello","year":"2017","unstructured":"Lampariello, L., Sagratella, S.: A bridge between bilevel programs and Nash games. J. Optim. Theory Appl. 174(2), 613\u2013635 (2017)","journal-title":"J. Optim. Theory Appl."},{"key":"250_CR23","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10589-020-00178-y","volume":"76","author":"L Lampariello","year":"2020","unstructured":"Lampariello, L., Sagratella, S.: Numerically tractable optimistic bilevel problems. Comput. Optim. Appl. 76, 277\u2013303 (2020)","journal-title":"Comput. Optim. Appl."},{"issue":"1\u20132","key":"250_CR24","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10107-013-0633-4","volume":"144","author":"GH Lin","year":"2014","unstructured":"Lin, G.H., Xu, M., Ye, J.J.: On solving simple bilevel programs with a nonconvex lower level program. Math. Program. 144(1\u20132), 277\u2013305 (2014)","journal-title":"Math. Program."},{"key":"250_CR25","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1080\/02331934.2015.1122007","volume":"65","author":"P Mehlitz","year":"2016","unstructured":"Mehlitz, P., Wachsmuth, G.: Weak and strong stationarity in generalized bilevel programming and bilevel optimal control. Optimization 65, 907\u2013935 (2016)","journal-title":"Optimization"},{"key":"250_CR26","doi-asserted-by":"crossref","unstructured":"Mehlitz, P., Minchenko, L.I., Zemkoho, A.B. : A note on partial calmness for bilevel optimization problems with linear structures at the lower level, arXiv:2003.06138 (2020)","DOI":"10.1007\/s11590-020-01636-6"},{"key":"250_CR27","unstructured":"Mehlitz, P., Zemkoho, A.B.: Sufficient optimality conditions in bilevel programming, arXiv:1911.01647 (2019)"},{"issue":"5","key":"250_CR28","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1080\/02331934.2011.641546","volume":"61","author":"AG Mersha","year":"2012","unstructured":"Mersha, A.G., Dempe, S.: Feasible direction method for bilevel programming problem. Optimization 61(5), 597\u2013616 (2012)","journal-title":"Optimization"},{"issue":"6","key":"250_CR29","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1137\/0315061","volume":"15","author":"R Mifflin","year":"1977","unstructured":"Mifflin, R.: Semismooth and semiconvex functions in constrained optimization. SIAM J. Control Optim. 15(6), 959\u2013972 (1977)","journal-title":"SIAM J. Control Optim."},{"key":"250_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92775-6","volume-title":"Variational Analysis and Applications","author":"BS Mordukhovich","year":"2018","unstructured":"Mordukhovich, B.S.: Variational Analysis and Applications. Springer, Berlin (2018)"},{"issue":"1","key":"250_CR31","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1287\/moor.18.1.227","volume":"18","author":"L Qi","year":"1993","unstructured":"Qi, L.: Convergence analysis of some algorithms for solving nonsmooth equations. Math. Oper. Res. 18(1), 227\u2013244 (1993)","journal-title":"Math. Oper. Res."},{"issue":"2","key":"250_CR32","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1287\/moor.22.2.301","volume":"22","author":"L Qi","year":"1997","unstructured":"Qi, L., Jiang, H.: Semismooth Karush\u2013Kuhn\u2013Tucker equations and convergence analysis of Newton and quasi-Newton methods for solving these equations. Math. Oper. Res. 22(2), 301\u2013325 (1997)","journal-title":"Math. Oper. Res."},{"key":"250_CR33","doi-asserted-by":"crossref","unstructured":"Qi, L., Sun, D.: A survey of some nonsmooth equations and smoothing Newton methods, In: Eberhard, A., Glover, B., Hill, R., Ralph,  D. (eds.) Progress in Optimization, pp. 121\u2013146. Springer,\u00a0Boston, MA (1999)","DOI":"10.1007\/978-1-4613-3285-5_7"},{"key":"250_CR34","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF01581275","volume":"58","author":"L Qi","year":"1993","unstructured":"Qi, L., Sun, J.: A nonsmooth version of Newton\u2019s method. Math. Programm. 58, 353\u2013367 (1993)","journal-title":"Math. Programm."},{"key":"250_CR35","doi-asserted-by":"publisher","DOI":"10.1515\/9781400873173","volume-title":"Convex Analysis","author":"RT Rockafellar","year":"1970","unstructured":"Rockafellar, R.T.: Convex Analysis. Princeton University Press, USA (1970)"},{"key":"250_CR36","volume-title":"Variational Analysis","author":"RT Rockafellar","year":"2009","unstructured":"Rockafellar, R.T., Wets, R.J.B.: Variational Analysis. Springer, Berlin (2009)"},{"issue":"1","key":"250_CR37","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0098-1354(98)00267-1","volume":"23","author":"KH Sahin","year":"1998","unstructured":"Sahin, K.H., Ciric, A.R.: A dual temperature simulated annealing approach for solving bilevel programming problems. Comput. Chem. Eng. 23(1), 11\u201325 (1998)","journal-title":"Comput. Chem. Eng."},{"issue":"1\u20132","key":"250_CR38","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10589-013-9627-7","volume":"59","author":"M Xu","year":"2014","unstructured":"Xu, M., Ye, J.J.: A smoothing augmented Lagrangian method for solving simple bilevel programs. Comput. Optim. Appl. 59(1\u20132), 353\u2013377 (2014)","journal-title":"Comput. Optim. Appl."},{"issue":"3","key":"250_CR39","doi-asserted-by":"publisher","first-page":"1388","DOI":"10.1137\/140971580","volume":"25","author":"M Xu","year":"2015","unstructured":"Xu, M., Ye, J.J., Zhang, L.: Smoothing SQP methods for solving degenerate nonsmooth constrained optimization problems with applications to bilevel programs. SIAM J. Optim. 25(3), 1388\u20131410 (2015)","journal-title":"SIAM J. Optim."},{"issue":"1","key":"250_CR40","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1016\/j.jmaa.2004.10.032","volume":"307","author":"JY Ye","year":"2005","unstructured":"Ye, J.Y.: Necessary and sufficient optimality conditions for mathematical programs with equilibrium constraints. J. Math. Anal. Appl. 307(1), 350\u2013369 (2005)","journal-title":"J. Math. Anal. Appl."},{"issue":"4","key":"250_CR41","doi-asserted-by":"publisher","first-page":"1885","DOI":"10.1137\/080725088","volume":"20","author":"JJ Ye","year":"2010","unstructured":"Ye, J.J., Zhu, D.: New necessary optimality conditions for bilevel programs by combining the MPEC and value function approaches. SIAM J. Optim. 20(4), 1885\u20131905 (2010)","journal-title":"SIAM J. Optim."},{"key":"250_CR42","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1080\/02331939508844060","volume":"33","author":"JJ Ye","year":"1995","unstructured":"Ye, J.J., Zhu, D.L.: Optimality conditions for bilevel programming problems. Optimization 33, 9\u201327 (1995). (with Erratum in Optimization 39:361\u2013366, 1997)","journal-title":"Optimization"},{"issue":"2","key":"250_CR43","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1137\/S1052623493257344","volume":"7","author":"JJ Ye","year":"1997","unstructured":"Ye, J.J., Zhu, D.L., Zhu, Q.J.: Exact penalization and necessary optimality conditions for generalized bilevel programming problems. SIAM J. Optim. 7(2), 481\u2013507 (1997)","journal-title":"SIAM J. Optim."},{"key":"250_CR44","volume-title":"Bilevel Programming: Reformulations, Regularity, and Stationarity","author":"AB Zemkoho","year":"2012","unstructured":"Zemkoho, A.B.: Bilevel Programming: Reformulations, Regularity, and Stationarity. Technical University Bergakademie Freiberg, Germany (2012). PhD thesis"},{"key":"250_CR45","volume-title":"Bilevel Optimization: Advances and Next Challenges","author":"SL Zhou","year":"2020","unstructured":"Zhou, S.L., Zemkoho, A.B., Tin, A.: BOLIB: bilevel optimization LIBrary of test problems. In: Dempe, S., Zemkoho, A.B. (eds.) Bilevel Optimization: Advances and Next Challenges. Springer, Berlin (2020)"}],"container-title":["Computational Optimization and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10589-020-00250-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10589-020-00250-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10589-020-00250-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T19:09:42Z","timestamp":1613070582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10589-020-00250-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,2]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["250"],"URL":"https:\/\/doi.org\/10.1007\/s10589-020-00250-7","relation":{},"ISSN":["0926-6003","1573-2894"],"issn-type":[{"value":"0926-6003","type":"print"},{"value":"1573-2894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,2]]},"assertion":[{"value":"19 April 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 December 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}