{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:44:30Z","timestamp":1725475470036},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_8","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T23:27:08Z","timestamp":1167348428000},"page":"134-151","source":"Crossref","is-referenced-by-count":2,"title":["Parallel Execution Models for Constraint Programming over Finite Domains"],"prefix":"10.1007","author":[{"given":"Alvaro","family":"Ruiz-Andino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lourdes","family":"Araujo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"S\u00e1enz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Ruz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(94)90041-8","volume":"65","author":"D. Bessiere","year":"1994","unstructured":"Bessiere, D.: Arc-consistency and arc-consistency again. Artificial Intelligence Journal\u00a065, 179\u2013190 (1994)","journal-title":"Artificial Intelligence Journal"},{"key":"8_CR2","unstructured":"Baudot, B., Deville, Y.: Analysis of Distributed Arc-Consistency Algorithms. Tech. Rep. 97-07. Uni. of Louvain, Belgium (1997)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Carlson, B.: Compiling and Executing Finite Domain Constraints. PhD Thesis, Computer Science Department, Uppsala Univ. (1995)","DOI":"10.7551\/mitpress\/4298.003.0021"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF00247670","volume":"17","author":"P. Codognet","year":"1996","unstructured":"Codognet, P., Diaz, D.: A Simple and Efficient Boolean Constraint Solver for Constraint Logic Programming. Journal of Automated Reasoning\u00a017(1), 97\u2013128 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR5","unstructured":"Dincbas, M., Van Henteryck, P., Simmons, H., Aggoun, A.: The Constraint Programming Language CHIP. In: Proceedings of the 2nd International Conference on Fifth Generation Computer Systems, pp. 249\u2013264 (1988)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Dincbas, M., Simonis, H., Van Hentenryck, P.: Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming\u00a08 (1990)","DOI":"10.1016\/0743-1066(90)90052-7"},{"key":"8_CR7","unstructured":"ILOG: ILOG Solver 3.2 User\u2019s Manual (1996)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0004-3702(90)90009-O","volume":"45","author":"S. Kasif","year":"1990","unstructured":"Kasif, S.: On the parallel complexity of discrete relaxation in constraint satisfaction networks. Artificial Intelligence\u00a045, 275\u2013286 (1990)","journal-title":"Artificial Intelligence"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0004-3702(94)90085-X","volume":"69","author":"S. Kasif","year":"1994","unstructured":"Kasif, S., Delcher, A.L.: Local Consistency in Parallel Constraint-Satisfaction Networks. Artificial Intelligence\u00a069, 307\u2013327 (1994)","journal-title":"Artificial Intelligence"},{"key":"8_CR10","first-page":"225","volume":"28","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence\u00a028, 225\u2013233 (1977)","journal-title":"Artificial Intelligence"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1996","unstructured":"Mohr, R., Henderson, T.C.: Arc and path consistency revisited. Artificial Intelligence\u00a028, 225\u2013233 (1996)","journal-title":"Artificial Intelligence"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0167-6423(97)00012-9","volume":"30","author":"T. Nguyen","year":"1998","unstructured":"Nguyen, T., Deville, Y.: A Distributed Arc-Consistency Algorithm. Science of Computer Programming\u00a030, 227\u2013250 (1998)","journal-title":"Science of Computer Programming"},{"key":"8_CR13","unstructured":"Ruiz-Andino, A., Araujo, L., Ruz, J.: Parallel constraint satisfaction and optimisation. The PCSO system. Technical Report 71.98. Department of Computer Science Universidad Complutense de Madrid (1998)"},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming Languages","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming Languages. MIT Press, Cambridge (1993)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Hentenryck Van","year":"1992","unstructured":"Van Hentenryck, P., Deville, Y., Teng, C.M.: A generic Arc-consistency Algorithm and its Specialisations. Artificial Intelligence\u00a057, 291\u2013321 (1992)","journal-title":"Artificial Intelligence"},{"key":"8_CR16","unstructured":"Hentenryck, P.V., Saraswat, V.A., Deville, Y.: Constraint Logic Programming over Finite Domains: the Design, Implementation and Applications of cc(FD). Tech. Rep., Computer Science Dept., Brown University (1992)"},{"key":"8_CR17","series-title":"Constraint Programming","volume-title":"Constraints in Planing, Scheduling and Placement Problems","author":"M. Wallace","year":"1994","unstructured":"Wallace, M.: Constraints in Planing, Scheduling and Placement Problems. Constraint Programming. Springer, Heidelberg (1994)"},{"key":"8_CR18","unstructured":"Waltz, D.: Generating semantic descriptions for drawings of scenes with shadows. Technical Report AI271, MIT, Cambridge, MA (1972)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Yokoo, M.: Asynchronous weak-commitment search for solving distributed constraint satisfaction problems. Principles and Practice of Constraint Programming, 88\u2013102 (1995)","DOI":"10.1007\/3-540-60299-2_6"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Mackworth, A.K.: Parallel and Distributed Finite Constraint Satisfaction: Complexity, Algorithms and Experiments. Parallel Processing for Artificial Intelligence. Elsevier, Amsterdam (1993)","DOI":"10.1016\/B978-0-444-81704-4.50018-1"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T17:04:09Z","timestamp":1707498249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/10704567_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}