{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:30Z","timestamp":1725551610221},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304623"},{"type":"electronic","value":"9783540316527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_100","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T06:28:03Z","timestamp":1132986483000},"page":"875-878","source":"Crossref","is-referenced-by-count":3,"title":["The Car-Sequencing Problem as n-Ary CSP \u2013 Sequential and Parallel Solving"],"prefix":"10.1007","author":[{"given":"Mihaela","family":"Butaru","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zineb","family":"Habbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"100_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00246021","volume":"2","author":"B.D. Parrello","year":"1986","unstructured":"Parrello, B.D., Kabat, W.C., Wos, L.: Job-shop schedulind using automated reasoning: a case study of the car-sequencing problem. Journal of Automated Reasoning\u00a02, 1\u201342 (1986)","journal-title":"Journal of Automated Reasoning"},{"unstructured":"Smith, B.M.: Succeed-first or fail-first: A case study in variable and value ordering. Report 96.26, University of Leeds (1996)","key":"100_CR2"},{"doi-asserted-by":"crossref","unstructured":"R\u00e9gin, J.C., Puget, J.F.: A filtering algorithm for global sequencing constraints. Constraint Programming, 32\u201346 (1997)","key":"100_CR3","DOI":"10.1007\/BFb0017428"},{"key":"100_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0004-3702(02)00263-1","volume":"141","author":"C. Bessi\u00e8re","year":"2002","unstructured":"Bessi\u00e8re, C., Meseguer, P., Freuder, C., Larossa, J.: On forward checking for non binary constraint satisfaction. Artificial Intelligence\u00a0141, 205\u2013224 (2002)","journal-title":"Artificial Intelligence"},{"key":"100_CR5","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)"},{"unstructured":"Puget, J.F.: A c++ implementation of clp. In: Proceedings of SPICIS 1994 (Singapore International Conference on Intelligent Systems) (1994)","key":"100_CR6"},{"key":"100_CR7","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R.M. Haralick","year":"1980","unstructured":"Haralick, R.M., Elliot, G.L.: Increasing the search efficiency for constraint satisfaction problems. Artificial Intelligence\u00a014, 263\u2013313 (1980)","journal-title":"Artificial Intelligence"},{"unstructured":"Dincbas, M., Simonis, H., van Hentenryck, P.: Solving the car-sequencing problem in constraint logic programming. In: Proceedings ECAI 1988, pp. 290\u2013295 (1988)","key":"100_CR8"},{"unstructured":"Butaru, M., Habbas, Z.: Sequential and parallel solving for the car-sequencing problem. Rapport interne 2005\u2013101, Universit\u00e9 de Metz, Laboratoire d\u2019Informatique Th\u00e9orique et Appliqu\u00e9e (2005)","key":"100_CR9"},{"unstructured":"Butaru, M., Habbas, Z.: Probl\u00e8mes de satisfaction de contraintes n-aire: une \u00e9tude exp\u00e9rimentale. In: Actes des Premi\u00e8res Journ\u00e9es Francophones de Programmation par Contraintes (JFPC 2005), Lens, France, Juin 8-10 (2005)","key":"100_CR10"},{"unstructured":"Butaru, M., Habbas, Z.: Parallel solving with n-ary forward checking: A shared memory implementation. In: Proceedings of the First International Workshop on OpenMP (IWOMP 2005), Eugene, Oregon, USA, June 1-4 (2005) (to appear)","key":"100_CR11"},{"unstructured":"OpenMP Architecture Review Board: OpenMP Application Program Interface (2005), http:\/\/www.openmp.org","key":"100_CR12"},{"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: Actes des Premi\u00e8res Journ\u00e9es Francophones de Programmation par Contraintes (JFPC 2005), Lens, France, Juin 8-10 (2005)","key":"100_CR13"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_100.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:47:41Z","timestamp":1619506061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11589990_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}