{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:19:39Z","timestamp":1742966379612,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031812408"},{"type":"electronic","value":"9783031812415"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-81241-5_15","type":"book-chapter","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T13:45:22Z","timestamp":1735652722000},"page":"210-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Comparison of\u00a0Formulations for\u00a0Aircraft Deconfliction"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0348-3266","authenticated-orcid":false,"given":"Renan","family":"Spencer Trindade","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4040-0960","authenticated-orcid":false,"given":"Claudia","family":"D\u2019Ambrosio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,1]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1109\/TITS.2010.2061971","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"4\u20135","key":"15_CR2","doi-asserted-by":"publisher","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 tighteningtechniques for non-convex MINLP. Optim. Methods Softw. 24(4\u20135), 597\u2013634 (2009). https:\/\/doi.org\/10.1080\/10556780903087124","journal-title":"Optim. Methods Softw."},{"key":"15_CR3","unstructured":"Bestuzheva, K., et al.: The SCIP Optimization Suite 8.0. Technical report, Optimization Online (2021). http:\/\/www.optimization-online.org\/DB_HTML\/2021\/12\/8728.html"},{"key":"15_CR4","doi-asserted-by":"publisher","unstructured":"Cafieri, S.: Chapter 22: Mixed-integer nonlinear optimization in air traffic management: Aircraft conflict avoidance. In: Advances and Trends in Optimization with Engineering Applications, pp. 293\u2013301. Society for Industrial and Applied Mathematics (2017). https:\/\/doi.org\/10.1137\/1.9781611974683.ch22","DOI":"10.1137\/1.9781611974683.ch22"},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1016\/j.ejor.2023.03.002","volume":"310","author":"S Cafieri","year":"2023","unstructured":"Cafieri, S., Conn, A.R., Mongeau, M.: Mixed-integer nonlinear and continuous optimization formulations for aircraft conflict avoidance via heading and speed deviations. Eur. J. Oper. Res. 310(2), 670\u2013679 (2023). https:\/\/doi.org\/10.1016\/j.ejor.2023.03.002","journal-title":"Eur. J. Oper. Res."},{"issue":"3","key":"15_CR6","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/s10898-017-0560-7","volume":"71","author":"S Cafieri","year":"2018","unstructured":"Cafieri, S., D\u2019Ambrosio, C.: Feasibility pump for aircraft deconfliction with speed regulation. J. Global Optim. 71(3), 501\u2013515 (2018). https:\/\/doi.org\/10.1007\/s10898-017-0560-7","journal-title":"J. Global Optim."},{"issue":"4","key":"15_CR7","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/s10898-013-0070-1","journal-title":"J. Global Optim."},{"key":"15_CR8","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.ejor.2016.12.010","DOI":"10.1016\/j.ejor.2016.12.010"},{"key":"15_CR9","doi-asserted-by":"publisher","unstructured":"Cerulli, M., D\u2019Ambrosio, C., Liberti, L.: Flying Safely by Bilevel Programming, pp. 197\u2013206. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34960-8_18","DOI":"10.1007\/978-3-030-34960-8_18"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10898-021-00997-1","volume":"81","author":"M Cerulli","year":"2021","unstructured":"Cerulli, M., D\u2019Ambrosio, C., Liberti, L., Pelegr\u00edn, M.: Detecting and solving aircraft conflicts using bilevel programming. J. Glob. Optim. 81(2), 529\u2013557 (2021). https:\/\/doi.org\/10.1007\/s10898-021-00997-1","journal-title":"J. Glob. Optim."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019Ambrosio, C., Frangioni, A., Gentile, C.: Strengthening the sequential convex MINLP technique by perspective reformulations. Optim. Lett. 13(4), 673\u2013684 (2019)","DOI":"10.1007\/s11590-018-1360-9"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"D\u2019Ambrosio, C., Lee, J., W\u00e4chter, A.: A global-optimization algorithm for mixed-integer nonlinear programs having separable non-convexity. In: Algorithms\u2014ESA 2009, LNCS, vol.\u00a05757, pp. 107\u2013118. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04128-0_10"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-1-4614-1927-3_11","volume-title":"Mixed Integer Nonlinear Programming","author":"C D\u2019Ambrosio","year":"2012","unstructured":"D\u2019Ambrosio, C., Lee, J., W\u00e4chter, A.: An algorithmic framework for MINLP with separable non-convexity. In: Lee, J., Leyffer, S. (eds.) Mixed Integer Nonlinear Programming, pp. 315\u2013347. Springer, New York, New York, NY (2012)"},{"issue":"2","key":"15_CR14","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1016\/j.ejor.2021.03.059","volume":"296","author":"FH Dias","year":"2022","unstructured":"Dias, F.H., Hijazi, H., Rey, D.: Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution. Eur. J. Oper. Res. 296(2), 520\u2013538 (2022). https:\/\/doi.org\/10.1016\/j.ejor.2021.03.059","journal-title":"Eur. J. Oper. Res."},{"key":"15_CR15","unstructured":"IBM: IBM ILOG CPLEX v12.10 User\u2019s manual. IBM Corp (2019)"},{"key":"15_CR16","doi-asserted-by":"publisher","unstructured":"Omer, J.: A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers. Comput. Oper. Res. 58, 75\u201386 (2015). https:\/\/doi.org\/10.1016\/j.cor.2014.12.012","DOI":"10.1016\/j.cor.2014.12.012"},{"issue":"1","key":"15_CR17","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1109\/6979.994791","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"1","key":"15_CR18","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1287\/trsc.2021.1056","volume":"56","author":"M Pelegr\u00edn","year":"2022","unstructured":"Pelegr\u00edn, M., D\u2019Ambrosio, C.: Aircraft deconfliction via mathematical programming: review and insights. Transp. Sci. 56(1), 118\u2013140 (2022). https:\/\/doi.org\/10.1287\/trsc.2021.1056","journal-title":"Transp. Sci."},{"key":"15_CR19","doi-asserted-by":"publisher","unstructured":"Rey, D., Hijazi, H.: Complex number formulation and convex relaxations for aircraft conflict resolution. In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp. 88\u201393 (2017). https:\/\/doi.org\/10.1109\/CDC.2017.8263648","DOI":"10.1109\/CDC.2017.8263648"},{"key":"15_CR20","doi-asserted-by":"publisher","unstructured":"Richards, A., How, J.: Aircraft trajectory planning with collision avoidance using mixed integer linear programming. In: Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301). IEEE (2002). https:\/\/doi.org\/10.1109\/acc.2002.1023918","DOI":"10.1109\/acc.2002.1023918"},{"key":"15_CR21","doi-asserted-by":"publisher","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 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp. 5219\u20135226. IEEE (2009). https:\/\/doi.org\/10.1109\/CDC.2009.5400520","DOI":"10.1109\/CDC.2009.5400520"},{"key":"15_CR22","doi-asserted-by":"publisher","unstructured":"Vela, A.E., Solak, S., Clarke, J.P.B., Singhose, W.E., Barnes, E.R., Johnson, E.L.: Near real-time fuel-optimal En route conflict resolution. IEEE Trans. Intell. Transp. Syst. 11(4), 826\u2013837 (2010). https:\/\/doi.org\/10.1109\/TITS.2010.2051028","DOI":"10.1109\/TITS.2010.2051028"}],"container-title":["Lecture Notes in Computer Science","Numerical Computations: Theory and Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-81241-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T14:03:46Z","timestamp":1735653826000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-81241-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031812408","9783031812415"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-81241-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NUMTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Numerical Computations: Theory and Algorithms","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pizzo Calabro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"numta2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.numta.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}