{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:38:43Z","timestamp":1767638323618,"version":"3.48.0"},"reference-count":6,"publisher":"Maximum Academic Press","issue":"3","license":[{"start":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T00:00:00Z","timestamp":1343260800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1017\/s0269888912000203","type":"journal-article","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T05:43:52Z","timestamp":1343281432000},"page":"287-289","source":"Crossref","is-referenced-by-count":0,"title":["Constraint programming for air traffic management: preface"],"prefix":"10.48130","volume":"27","author":[{"given":"Pierre","family":"Flener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Pearson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Bourgois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2012,7,26]]},"reference":[{"volume-title":"Handbook of Constraint Programming","year":"2006","author":"Rossi","key":"S0269888912000203_ref1"},{"key":"S0269888912000203_ref4","unstructured":"Gotlieb A. 2012. TCAS software verification using constraint programming. The Knowledge Engineering Review 27, 343\u2013360."},{"key":"S0269888912000203_ref5","unstructured":"Hildum D. W. , Smith S. F. 2012. Scheduling safe movement of air traffic in crowded air spaces. The Knowledge Engineering Review 27, 309\u2013331."},{"key":"S0269888912000203_ref3","unstructured":"Barnier N. , Allignol C. 2012. Trajectory deconfliction with constraint programming. The Knowledge Engineering Review 27, 291\u2013307."},{"key":"S0269888912000203_ref2","unstructured":"Allignol C. , Barnier N. , Flener P. , Pearson J. 2012. Constraint programming for air traffic management: a survey. The Knowledge Engineering Review 27, 361\u2013392."},{"key":"S0269888912000203_ref6","unstructured":"Junker U. 2012. Air traffic flow management with heuristic repair. The Knowledge Engineering Review 27, 333\u2013342."}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888912000203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:44:06Z","timestamp":1767624246000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888912000203\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,26]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,7,26]]}},"alternative-id":["S0269888912000203"],"URL":"https:\/\/doi.org\/10.1017\/s0269888912000203","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2012,7,26]]}}}