{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T13:26:58Z","timestamp":1781270818359,"version":"3.54.1"},"reference-count":20,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NASA Aviation Systems Division"},{"name":"NASA Advanced Exploration Systems Program"},{"DOI":"10.13039\/100006195","name":"Ames Research Center","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006195","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NASA Academic Mission Services","award":["NNA16BD14C"],"award-info":[{"award-number":["NNA16BD14C"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1109\/tits.2019.2891235","type":"journal-article","created":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T19:25:45Z","timestamp":1550517945000},"page":"285-297","source":"Crossref","is-referenced-by-count":112,"title":["Quantum Annealing Applied to De-Conflicting Optimal Trajectories for Air Traffic Management"],"prefix":"10.1109","volume":"21","author":[{"given":"Tobias","family":"Stollenwerk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bryan","family":"O'Gorman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Venturelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3908-2694","authenticated-orcid":false,"given":"Salvatore","family":"Mandra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olga","family":"Rodionova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hokkwan","family":"Ng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Banavar","family":"Sridhar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eleanor Gilbert","family":"Rieffel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rupak","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01917434"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13520-0_22"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.115.077201"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.94.022337"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.012317"},{"key":"ref15","first-page":"15","article-title":"Improved exact solver for the weighted max-SAT problem","volume":"8","author":"k\u00fcgel","year":"2013","journal-title":"POS-10 Pragmatics of SAT"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-008-0082-9"},{"key":"ref17","author":"cai","year":"2014","journal-title":"A practical heuristic for finding graph minors"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1013428"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402221"},{"key":"ref4","first-page":"51","article-title":"A comparison framework for conflict detection and resolution multi agent modeling methods in air traffic management","volume":"2","author":"hojjat","year":"2012","journal-title":"Int J Inf Technol Control Autom"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"ref6","first-page":"2337","article-title":"Parametrized families of hard planning problems from phase transitions","author":"rieffel","year":"2014","journal-title":"Proc 28th AAAI Conf Artif Intell"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-014-0892-x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/43601"},{"key":"ref7","author":"venturelli","year":"2015","journal-title":"Quantum annealing implementation of job-shop scheduling"},{"key":"ref2","article-title":"Deconflicting wind-optimal aircraft trajectories in north atlantic oceanic airspace","author":"rodionova","year":"2016","journal-title":"Proc Adv Aircr Efficiency Global Air Transport Syst Conf (AEGATS)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010084"},{"key":"ref9","author":"bertele","year":"1972","journal-title":"Nonserial Dynamic Programming"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1287\/moor.4.4.448"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/8946909\/08643733.pdf?arnumber=8643733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T16:00:26Z","timestamp":1651075226000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8643733\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":20,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tits.2019.2891235","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1]]}}}