{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T17:31:38Z","timestamp":1772731898948,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T00:00:00Z","timestamp":1506297600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Agence Nationale de la Recherche (FR)","award":["12-JS02-009-01"],"award-info":[{"award-number":["12-JS02-009-01"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10898-017-0560-7","type":"journal-article","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T06:28:05Z","timestamp":1506320885000},"page":"501-515","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Feasibility pump for aircraft deconfliction with speed regulation"],"prefix":"10.1007","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4578-8394","authenticated-orcid":false,"given":"Sonia","family":"Cafieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4040-0960","authenticated-orcid":false,"given":"Claudia","family":"D\u2019Ambrosio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,25]]},"reference":[{"issue":"1","key":"560_CR1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/TITS.2010.2061971","volume":"12","author":"A Alonso-Ayuso","year":"2011","unstructured":"Alonso-Ayuso, A., Escudero, L.F., Mart\u00edn-Campo, F.J.: Collision avoidance in air traffic management: a mixed-integer linear optimization approach. IEEE Trans. Intell. Transp. Syst. 12(1), 47\u201357 (2011)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"12","key":"560_CR2","doi-asserted-by":"crossref","first-page":"3136","DOI":"10.1016\/j.cor.2012.03.015","volume":"39","author":"A Alonso-Ayuso","year":"2012","unstructured":"Alonso-Ayuso, A., Escudero, L.F., Mart\u00edn-Campo, F.J.: A mixed 0\u20131 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: velocity changes through a time horizon. Comput. Opera. Res. 39(12), 3136\u20133146 (2012)","journal-title":"Comput. Opera. Res."},{"issue":"1","key":"560_CR3","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1287\/trsc.2014.0557","volume":"50","author":"A Alonso-Ayuso","year":"2015","unstructured":"Alonso-Ayuso, A., Escudero, L.F., Mart\u00edn-Campo, F.J.: Exact and approximate solving of the aircraft collision resolution problem via turn changes. Transp. Sci. 50(1), 263\u2013274 (2015)","journal-title":"Transp. Sci."},{"issue":"4\u20135","key":"560_CR4","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1080\/10556780903087124","volume":"24","author":"P Belotti","year":"2009","unstructured":"Belotti, P., Lee, J., Liberti, L., Margot, F., Wachter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Methods Softw. 24(4\u20135), 597\u2013634 (2009)","journal-title":"Optim. Methods Softw."},{"issue":"2","key":"560_CR5","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1007\/s10589-010-9350-6","volume":"51","author":"P Bonami","year":"2012","unstructured":"Bonami, P., Gonalves, J.P.M.: Heuristics for convex mixed integer nonlinear programs. Comput. Optim. Appl. 51(2), 729\u2013747 (2012)","journal-title":"Comput. Optim. Appl."},{"issue":"2","key":"560_CR6","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s10107-008-0212-2","volume":"119","author":"P Bonami","year":"2009","unstructured":"Bonami, P., Cornu\u00e9jols, G., Lodi, A., Margot, F.: A feasibility pump for mixed integer nonlinear programs. Math. Program. 119(2), 331\u2013352 (2009)","journal-title":"Math. Program."},{"key":"560_CR7","unstructured":"Brochard, M.: Erasmus\u2014en route air traffic soft management ultimate system. Technical report, Eurocontrol Experimental Centre"},{"key":"560_CR8","unstructured":"Cafieri, S.: Maximizing the number of solved aircraft conflicts through velocity regulation. In: MAGO 2014, 12th Global Optimization Workshop, pp. 1\u20134. M\u00e1laga, Spain (2014)"},{"key":"560_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1137\/1.9781611974683.ch22","volume-title":"Advances and Trends in Optimization with Engineering Applications","author":"S Cafieri","year":"2017","unstructured":"Cafieri, S.: MINLP in Air Traffic Management: Aircraft conflict avoidance. In: Terlaky, T., Anjos, M., Ahmed, S. (eds.) Advances and Trends in Optimization with Engineering Applications, pp. 293\u2013301. MOS-SIAM Series on Optimization, SIAM, Philadelphia (2017)"},{"issue":"4","key":"560_CR10","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s10898-013-0070-1","volume":"58","author":"S Cafieri","year":"2014","unstructured":"Cafieri, S., Durand, N.: Aircraft deconfliction with speed regulation: new models from mixed-integer optimization. J. Global Optim. 58(4), 613\u2013629 (2014)","journal-title":"J. Global Optim."},{"issue":"1","key":"560_CR11","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.ejor.2016.12.010","volume":"260","author":"S Cafieri","year":"2017","unstructured":"Cafieri, S., Omheni, R.: Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes. Eur. J. Oper. Res. 260(1), 283\u2013290 (2017)","journal-title":"Eur. J. Oper. Res."},{"key":"560_CR12","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.cor.2016.12.002","volume":"80","author":"S Cafieri","year":"2017","unstructured":"Cafieri, S., Rey, D.: Maximizing the number of conflict-free aircraft using mixed-integer nonlinear programming. Comput. Oper. Res. 80, 147\u2013158 (2017)","journal-title":"Comput. Oper. Res."},{"key":"560_CR13","doi-asserted-by":"crossref","unstructured":"D\u2019Ambrosio, C., Frangioni, A., Liberti, L., Lodi, A.: Experiments with a Feasibility Pump Approach for Nonconvex MINLPs, pp. 350\u2013360. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13193-6_30"},{"issue":"2","key":"560_CR14","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s10107-012-0608-x","volume":"136","author":"C D\u2019Ambrosio","year":"2012","unstructured":"D\u2019Ambrosio, C., Frangioni, A., Liberti, L., Lodi, A.: A storm of feasibility pumps for nonconvex MINLP. Math. Program. 136(2), 375\u2013402 (2012)","journal-title":"Math. Program."},{"issue":"1","key":"560_CR15","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s10107-004-0570-3","volume":"104","author":"M Fischetti","year":"2005","unstructured":"Fischetti, M., Glover, F., Lodi, A.: The feasibility pump. Math. Program. 104(1), 91\u2013104 (2005)","journal-title":"Math. Program."},{"key":"560_CR16","volume-title":"AMPL: A Modeling Language for Mathematical Programming","author":"R Fourer","year":"2002","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming, 2nd edn. Brooks\/Cole, Boston (2002)","edition":"2"},{"key":"560_CR17","first-page":"153","volume-title":"Foundations of Computational Intelligence","author":"L Liberti","year":"2009","unstructured":"Liberti, L., Cafieri, S., Tarissan, F.: Reformulations in mathematical programming: a computational approach. Foundations of Computational Intelligence, vol. 3, pp. 153\u2013234. Springer, Berlin (2009)"},{"issue":"1","key":"560_CR18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/6979.994791","volume":"3","author":"L Pallottino","year":"2002","unstructured":"Pallottino, L., Feron, E.M., Bicchi, A.: Conflict resolution problems for air traffic management systems solved with mixed integer programming. IEEE Trans. Intell. Transp. Syst. 3(1), 3\u201311 (2002)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"560_CR19","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3141\/2300-07","volume":"2300","author":"D Rey","year":"2012","unstructured":"Rey, D., Rapine, C., Fondacci, R., Faouzi, N.E.E.: Minimization of potential air conflicts through speed regulation. Transp. Res. Rec. J. Transp. Res. Board 2300, 59\u201367 (2012)","journal-title":"Transp. Res. Rec. J. Transp. Res. Board"},{"issue":"1","key":"560_CR20","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1287\/trsc.2015.0602","volume":"50","author":"D Rey","year":"2016","unstructured":"Rey, D., Rapine, C., Fondacci, R., Faouzi, N.E.E.: Subliminal speed control in air traffic management: optimization and simulation. Transp. Sci 50(1), 240\u2013262 (2016)","journal-title":"Transp. Sci"},{"key":"560_CR21","doi-asserted-by":"crossref","unstructured":"Richards A, How J (2002) Aircraft trajectory planning with collision avoidance using mixed integer linear programming. In: 2002 Proceedings of the American Control Conference, vol. 3, pp. 1936\u20131941","DOI":"10.1109\/ACC.2002.1023918"},{"issue":"1","key":"560_CR22","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10107-004-0559-y","volume":"106","author":"A W\u00e4chter","year":"2006","unstructured":"W\u00e4chter, A., Biegler, L.T.: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. Math. Program. 106(1), 25\u201357 (2006)","journal-title":"Math. Program."}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-017-0560-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-017-0560-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-017-0560-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T18:58:08Z","timestamp":1570129088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-017-0560-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,25]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["560"],"URL":"https:\/\/doi.org\/10.1007\/s10898-017-0560-7","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,25]]}}}