{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:46:38Z","timestamp":1761648398920},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,9,13]],"date-time":"2016-09-13T00:00:00Z","timestamp":1473724800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s10601-016-9254-x","type":"journal-article","created":{"date-parts":[[2016,9,13]],"date-time":"2016-09-13T02:36:21Z","timestamp":1473734181000},"page":"73-89","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Constraint programming for planning test campaigns of communications satellites"],"prefix":"10.1007","volume":"22","author":[{"given":"Emmanuel","family":"Hebrard","sequence":"first","affiliation":[]},{"given":"Marie-Jos\u00e9","family":"Huguet","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Veysseire","sequence":"additional","affiliation":[]},{"given":"Ludivine Boche","family":"Sauvan","sequence":"additional","affiliation":[]},{"given":"Bertrand","family":"Cabon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,13]]},"reference":[{"key":"9254_CR1","doi-asserted-by":"crossref","unstructured":"Bessiere, C., Hebrard, E., M\u0117nard, M.-A., Quimper, C.-G., & Walsh, T. (2014). Buffered resource constraint: algorithms and complexity. In Proceedings of the eleventh international conference on integration of AI and OR techniques in constraint programming (CPAIOR) (pp. 318\u2013333).","DOI":"10.1007\/978-3-319-07046-9_23"},{"key":"9254_CR2","unstructured":"Boche-Sauvan, L., Cabon, B., Huguet, M.-J., & H\u00e9brard, E. (2014). Heuristic methods for test sequencing in telecommunication satellites. In Proceedings of the tenth international conference on modeling, optimization and simulation (MOSIM)."},{"key":"9254_CR3","unstructured":"Boussemart, F., Hemery, F., Lecoutre, C., & Sais, L. (2004). Boosting systematic search by weighting constraints. In Proceedings of the sixteenth Eureopean conference on artificial intelligence (ECAI) (pp. 146\u2013150)."},{"key":"9254_CR4","unstructured":"Carlsson, M., & Beldiceanu, N. (2002). Arc-consistency for a chain of lexicographic ordering constraints. Technical Report T2002-18, Swedish Institute of Computer Science."},{"key":"9254_CR5","unstructured":"Chekuri, C., & Khanna, S. (1999). On multi-dimensional packing problems. In Proceedings of the 10th annual ACM-SIAM symposium on discrete algorithms, tenth annual ACM-SIAM symposium on discrete algorithms (SODA) (pp. 185\u2013194)."},{"issue":"10","key":"9254_CR6","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1016\/j.artint.2006.03.002","volume":"170","author":"AM Frisch","year":"2006","unstructured":"Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., & Walsh, T. (2006). Propagation algorithms for lexicographic ordering constraints. Artificial Intelligence, 170(10), 803\u2013834.","journal-title":"Artificial Intelligence"},{"key":"9254_CR7","unstructured":"Hentenryck, P.V., & Carillon, J.-P. (1988). Generality versus specificity: an experience with AI and OR techniques. In Proceedings of the seventh national conference on artificial intelligence (AAAI) (pp. 660\u2013664)."},{"key":"9254_CR8","unstructured":"Maillet, C., Verfaillie, G., & Cabon, B. (2011). Constraint programming for optimising satellite validation plans. In Proceedings of seventh international workshop on planning and scheduling for space (IWPSS)."},{"key":"9254_CR9","doi-asserted-by":"crossref","unstructured":"Michel, L., & Hentenryck, P.V. (2012). Activity-based search for black-box constraint programming solvers (pp. 228\u2013243).","DOI":"10.1007\/978-3-642-29828-8_15"},{"key":"9254_CR10","unstructured":"Prud\u2019homme, C., Fages, J.-G., & Lorca, X. (2015). Choco documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S."},{"key":"9254_CR11","doi-asserted-by":"crossref","unstructured":"Refalo, P. (2004). Impact-based search strategies for constraint programming. In Principles and practice of constraint programming (CP) (pp. 557\u2013571).","DOI":"10.1007\/978-3-540-30201-8_41"},{"key":"9254_CR12","unstructured":"R\u00e9gin, J.-C. (1994). A filtering algorithm for constraints of difference in CSPs. In Proceedings of the twelfth national conference on artificial intelligence (AAAI) (pp. 362\u2013367)."},{"issue":"2","key":"9254_CR13","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/s10601-008-9061-0","volume":"14","author":"N Tamura","year":"2008","unstructured":"Tamura, N., Taga, A., Kitagawa, S., & Banbara, M. (2008). Compiling finite linear CSP into SAT. Constraints, 14(2), 254\u2013272.","journal-title":"Constraints"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9254-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-016-9254-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-016-9254-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:38:04Z","timestamp":1498343884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-016-9254-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,13]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["9254"],"URL":"https:\/\/doi.org\/10.1007\/s10601-016-9254-x","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,13]]}}}