{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T07:31:11Z","timestamp":1780644671918,"version":"3.54.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T00:00:00Z","timestamp":1367280000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s10898-013-0070-1","type":"journal-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T01:15:37Z","timestamp":1367370937000},"page":"613-629","source":"Crossref","is-referenced-by-count":85,"title":["Aircraft deconfliction with speed regulation: new models from mixed-integer optimization"],"prefix":"10.1007","volume":"58","author":[{"given":"Sonia","family":"Cafieri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"Durand","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,4,30]]},"reference":[{"issue":"1","key":"70_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."},{"key":"70_CR2","unstructured":"Alonso-Ayuso, A., Escudero, L.F., Mart\u00edn-Campo, F.J.: A mixed 01 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: velocity changes through a time horizon. Comput. Oper. Res. 39(14), 3136\u20133146 (2012)"},{"issue":"4","key":"70_CR3","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., W\u00e4chter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Methods Softw. 24(4), 597\u2013634 (2009)","journal-title":"Optim. Methods Softw."},{"key":"70_CR4","unstructured":"Bonini, D., Dupr\u00e9, C., Granger, G.: How ERASMUS can support an increase in capacity in 2020. In: Proceedings of the 7th International Conference on Computing, Communications and Control Technologies: CCCT 2009, Orlando, Florida (2009)"},{"key":"70_CR5","unstructured":"Durand N., Alliot J.M.: Optimal resolution of en-route conflict. In: Proceedings of the Eurocontrol\/FAA ATM Seminar. Eurocontrol\/FAA, (1997)"},{"key":"70_CR6","unstructured":"Durand, N., Alliot, J.M.: Ant-colony optimization for air traffic conflict resolution. In: Proceedings of the Eighth USA\/Europe Air Traffic Management Research and Development Seminar. Eurocontrol\/FAA (2009)"},{"key":"70_CR7","doi-asserted-by":"crossref","unstructured":"Durand, N., Alliot, J.M., Noailles, J.: Automatic aircraft conflict resolution using genetic algorithms. In: Proceedings of the Symposium on Applied Computing, Philadelphia. ACM (1996)","DOI":"10.1145\/331119.331195"},{"key":"70_CR8","unstructured":"Durand, N., Granger, G.: Modeling the controller\u2019s conflict detection task using fast time simulation. In: 30th Digital Avionics Systems Conference (DASC), Seattle, USA (2011)"},{"key":"70_CR9","unstructured":"EUROCONTROL: Eurocontrol long-term forecast : IFR Flight Movements 2010\u20132030. Technical report, Eurocontrol\u2013Air Traffic Statistics and Forecasts (2010)"},{"key":"70_CR10","first-page":"17","volume":"4","author":"R Fortet","year":"1960","unstructured":"Fortet, R.: Application de l\u2019alg\u00e8bre de boole en recherche op\u00e9rationelle. Revue Fran\u00e7aise de Recherche Op\u00e9rationelle 4, 17\u201326 (1960)","journal-title":"Revue Fran\u00e7aise de Recherche Op\u00e9rationelle"},{"key":"70_CR11","volume-title":"The AMPL Book","author":"R Fourer","year":"2002","unstructured":"Fourer, R., Gay, D.: The AMPL Book. Duxbury Press, Pacific Grove (2002)"},{"key":"70_CR12","unstructured":"Granger, G., Durand, N.: A traffic complexity approach through cluster analysis. In: Proceedings of the 5th ATM R &D Seminar, Budapest (2003)"},{"key":"70_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-85823-9","volume-title":"Boolean Methods in Operations Research and Related Areas","author":"PL Hammer","year":"1968","unstructured":"Hammer, P.L., Rudeanu, S.: Boolean Methods in Operations Research and Related Areas. Springer, Berlin (1968)"},{"issue":"4","key":"70_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/6979.898217","volume":"1","author":"J Kuchar","year":"2000","unstructured":"Kuchar, J., Yang, L.: A review of conflict detection and resolution modeling methods. IEEE Trans. Intell. Transp. Syst. 1(4), 179\u2013189 (2000)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"70_CR15","doi-asserted-by":"crossref","unstructured":"Liberti, L., Cafieri, S., Tarissan, F.: Reformulations in mathematical programming: a computational approach. In: Abraham, A., Hassanien, A.-E., Siarry, P., Engelbrecht, A. (eds.) Foundations of Computational Intelligence (Global Optimization: Theoretical Foundations and Applications), vol. 203 of Studies in Computational Intelligence, pp. 153\u2013234. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01085-9_7"},{"key":"70_CR16","unstructured":"Mart\u00edn-Campo, F.J.: The collision avoidance problem: methods and algorithms. Ph.D. thesis, Rey Juan Carlos University, Madrid (2010)"},{"issue":"1","key":"70_CR17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/6979.994791","volume":"3","author":"L Pallottino","year":"2002","unstructured":"Pallottino, L., Feron, E., 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":"70_CR18","unstructured":"Rey, D., Constans, S., Fondacci, R., Rapine, C.: A mixed integer linear model for potential conflict minimization by speed modulations. In: Proceedings of the International Conference on Research in Air Transportation, Budapest (2010)"},{"key":"70_CR19","doi-asserted-by":"crossref","unstructured":"Rey, D., Rapine, C., Fondacci, R., El Faouzi, N.-E.: Minimization of potential air conflicts through speed regulation. Transp. Res. Rec. J. Transp. Res. Board. 2300(1), 59\u201367(2012)","DOI":"10.3141\/2300-07"},{"key":"70_CR20","unstructured":"Richards, A., How, J.P.: Aircraft trajectory planning with collision avoidance using mixed integer linear programming. In: American Control Conference, Anchorage, Alaska, (2002)"},{"key":"70_CR21","unstructured":"SESAR consortium: The european ATM master plan. Technical Report 1, European Commission and EUROCONTROL, (2009)"},{"key":"70_CR22","doi-asserted-by":"crossref","unstructured":"Vela, A., Solak, S., Singhose, W., Clarke, J.-P.: A mixed-integer program for flight-level assignment and speed control for conflict resolution. In: Proceedings of the Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, Shanghai (2009)","DOI":"10.1109\/CDC.2009.5400520"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-013-0070-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-013-0070-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-013-0070-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T03:08:25Z","timestamp":1562987305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-013-0070-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,30]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["70"],"URL":"https:\/\/doi.org\/10.1007\/s10898-013-0070-1","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,30]]}}}