{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:50:39Z","timestamp":1725846639603},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319282275"},{"type":"electronic","value":"9783319282282"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28228-2_1","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T11:54:42Z","timestamp":1452254082000},"page":"3-12","source":"Crossref","is-referenced-by-count":0,"title":["Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station"],"prefix":"10.1007","author":[{"given":"Jan","family":"Jel\u00ednek","sequence":"first","affiliation":[]},{"given":"Roman","family":"Bart\u00e1k","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"1_CR1","unstructured":"Jel\u00ednek, J., Bart\u00e1k, R.: A constraint-based optimizer for scheduling solar array operations on the international space station. In: Proceedings of the International Workshop on Planning and Scheduling for Space (IWPSS), pp. 53\u201361 (2015)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlsson, B.: An open-ended finite domain constraint solver. In: Hartel, Pieter H., Kuchen, Herbert (eds.) PLILP 1997. LNCS, vol. 1292. Springer, Heidelberg (1997)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Frank, J.: Planning solar array operations on the international space station. In: The International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS) (2012)","DOI":"10.1609\/icaps.v23i1.13574"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/A:1025842019552","volume":"8","author":"J Frank","year":"2003","unstructured":"Frank, J., J\u00f3nsson, A.: Constraint-based attribute and interval planning. J. Constraints 8(4), 339\u2013364 (2003)","journal-title":"J. Constraints"},{"key":"1_CR5","unstructured":"Kolombo, M., Pecka, M., Bart\u00e1k, R.: An ad-hoc planner for the mars express mission. In: Proceedings of the 5th International Workshop on Planning and Scheduling for Space (IWPSS) (2013)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/978-3-319-13650-9_39","volume-title":"Nature-Inspired Computation and Machine Learning","author":"M Kolombo","year":"2014","unstructured":"Kolombo, M., Bart\u00e1k, R.: A constraint-based planner for mars express orbiter. In: Gelbukh, A., Espinoza, F.C., Galicia-Haro, S.N. (eds.) MICAI 2014, Part II. LNCS, vol. 8857, pp. 451\u2013463. Springer, Heidelberg (2014)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/1910129","volume":"28","author":"AH Land","year":"1960","unstructured":"Land, A.H., Doig, A.G.: An automatic method of solving discrete programming problems. Econometrica 28(3), 497\u2013520 (1960)","journal-title":"Econometrica"},{"issue":"4","key":"1_CR8","doi-asserted-by":"publisher","first-page":"41:1","DOI":"10.1145\/1989734.1989745","volume":"2","author":"S Reddy","year":"2011","unstructured":"Reddy, S., Frank, J., Iatauro, M., Boyce, M., K\u00fcrkl\u00fc, E., Ai-Chang, M., J\u00f3nsson, A.: Planning solar array operations for the international space station. ACM Trans. Intell. Syst. Technol. 2(4), 41:1\u201341:24 (2011)","journal-title":"ACM Trans. Intell. Syst. Technol."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28228-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T12:13:58Z","timestamp":1692188038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28228-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319282275","9783319282282"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28228-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}