{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:44Z","timestamp":1725895364106},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335570"},{"type":"electronic","value":"9783642335587"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_7","type":"book-chapter","created":{"date-parts":[[2012,10,2]],"date-time":"2012-10-02T22:32:47Z","timestamp":1349217167000},"page":"55-69","source":"Crossref","is-referenced-by-count":0,"title":["An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Siala","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Hebrard","sequence":"additional","affiliation":[]},{"given":"Marie-Jos\u00e9","family":"Huguet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-45635-X_12","volume-title":"Logic Programming","author":"N. Beldiceanu","year":"2001","unstructured":"Beldiceanu, N., Carlsson, M.: Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 59\u201373. Springer, Heidelberg (2001)"},{"issue":"12","key":"7_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1994","unstructured":"Beldiceanu, N., Contejean, E.: Introducing Global Constraints in CHIP. Mathematical Computation Modelling\u00a020(12), 97\u2013123 (1994)","journal-title":"Mathematical Computation Modelling"},{"key":"7_CR3","unstructured":"Bessiere, C., Hebrard, E., Hnich, B., Kiziltan, Z., Walsh, T.: The Slide Meta-Constraint. In: CPAI Workshop, held alongside CP (2006)"},{"key":"7_CR4","unstructured":"Bessiere, C., Hebrard, E., Hnich, B., Kiziltan, Z., Walsh, T.: Slide: A Useful Special Case of the Cardpath Constraint. In: ECAI, pp. 475\u2013479 (2008)"},{"key":"7_CR5","unstructured":"Boivin, S., Gravel, M., Krajecki, M., Gagn\u00e9, C.: R\u00e9solution du Probl\u00e8me de Car-sequencing \u00e0 l\u2019Aide d\u2019une Approche de Type FC. In: JFPC (2005)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-74970-7_17","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"S. Brand","year":"2007","unstructured":"Brand, S., Narodytska, N., Quimper, C.-G., Stuckey, P.J., Walsh, T.: Encodings of the Sequence Constraint. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 210\u2013224. Springer, Heidelberg (2007)"},{"issue":"4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10601-006-9003-7","volume":"11","author":"S. Demassey","year":"2006","unstructured":"Demassey, S., Pesant, G., Rousseau, L.-M.: A Cost-Regular Based Hybrid Column Generation Approach. Constraints\u00a011(4), 315\u2013333 (2006)","journal-title":"Constraints"},{"key":"7_CR8","unstructured":"Dincbas, M., Simonis, H., Van Hentenryck, P.: Solving the Car-Sequencing Problem in Constraint Logic Programming. In: ECAI, pp. 290\u2013295 (1988)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Walsh, T.: Csplib: a benchmark library for constraints (1999)","DOI":"10.1007\/978-3-540-48085-3_36"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-85958-1_11","volume-title":"Principles and Practice of Constraint Programming","author":"M.J. Maher","year":"2008","unstructured":"Maher, M.J., Narodytska, N., Quimper, C.-G., Walsh, T.: Flow-Based Propagators for the SEQUENCE and Related Global Constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 159\u2013174. Springer, Heidelberg (2008)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-01929-6_14","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"J. Menana","year":"2009","unstructured":"Menana, J., Demassey, S.: Sequencing and Counting with the multicost-regular Constraint. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol.\u00a05547, pp. 178\u2013192. Springer, Heidelberg (2009)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-540-30201-8_36","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"G. Pesant","year":"2004","unstructured":"Pesant, G.: A Regular Language Membership Constraint for Finite Sequences of Variables. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 482\u2013495. Springer, Heidelberg (2004)"},{"key":"7_CR13","unstructured":"Pesant, G.: Constraint-Based Rostering. In: PATAT (2008)"},{"key":"7_CR14","unstructured":"R\u00e9gin, J.-C.: Generalized Arc Consistency for Global Cardinality Constraint. In: AAAI, pp. 209\u2013215(2) (1996)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BFb0017428","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"J.-C. R\u00e9gin","year":"1997","unstructured":"R\u00e9gin, J.-C., Puget, J.-F.: A Filtering Algorithm for Global Sequencing Constraints. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, pp. 32\u201346. Springer, Heidelberg (1997)"},{"key":"7_CR16","unstructured":"Smith, B.M.: Succeed-first or Fail-first: A Case Study in Variable and Value Ordering (1996)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"912","DOI":"10.1016\/j.ejor.2007.04.033","volume":"191","author":"C. Solnon","year":"2008","unstructured":"Solnon, C., Cung, V., Nguyen, A., Artigues, C.: The car sequencing problem: Overview of state-of-the-art methods and industrial case-study of the ROADEF\u20192005 challenge problem. EJOR\u00a0191, 912\u2013927 (2008)","journal-title":"EJOR"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10601-008-9067-7","volume":"14","author":"W.J. Hoeve van","year":"2009","unstructured":"van Hoeve, W.J., Pesant, G., Rousseau, L.-M., Sabharwal, A.: New Filtering Algorithms for Combinations of Among Constraints. Constraints\u00a014(2), 273\u2013292 (2009)","journal-title":"Constraints"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/11889205_44","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"W.-J. Hoeve van","year":"2006","unstructured":"van Hoeve, W.-J., Pesant, G., Rousseau, L.-M., Sabharwal, A.: Revisiting the Sequence Constraint. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 620\u2013634. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33558-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:19:39Z","timestamp":1558300779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}