{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:27:47Z","timestamp":1752460067117},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620341"},{"type":"electronic","value":"9783540496311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62034-6_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:31:58Z","timestamp":1330295518000},"page":"168-179","source":"Crossref","is-referenced-by-count":6,"title":["Constraint retraction in FD"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Codognet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Diaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"15_CR1","unstructured":"A. Aggoun and N. Beldiceanu. Overview of the CHIP Compiler System. In Constraint Logic Programming: Selected Research, A. Colmerauer and F. Benhamou (Eds.). MIT Press, 1993."},{"key":"15_CR2","unstructured":"B. Carlson, M. Carlsson and S. Janson. Finite Domain Constraints in AKL(FD). In Proceedings of ILPS 94, MIT Press, 1994."},{"key":"15_CR3","volume-title":"Proceedings of 6th ICLP","author":"C. Codognet","year":"1989","unstructured":"C. Codognet and P. Codognet. Non-deterministic Stream AND-Parallelism based on Intelligent Backtracking. In Proceedings of 6th ICLP, Lisbon, 1989. The MIT Press."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"P. Codognet and D. Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, vol. 27(3), 1996.","DOI":"10.1016\/0743-1066(95)00121-2"},{"key":"15_CR5","unstructured":"P. Codognet, F. Fages and T. Sola. A meta-level compiler for CLP(FD) and its combination with intelligent backtracking. In Constraint Logic Programming: Selected Research, A. Colmerauer, F. Benhamou (Eds.), MIT Press, 1993."},{"key":"15_CR6","volume-title":"A minimal extension of the WAM for CLP(FD)","author":"D. Diaz","year":"1993","unstructured":"D. Diaz and P. Codognet. A minimal extension of the WAM for CLP(FD). In proceedings of the 10th International Conference on Logic Programming, D. S. Warren (Ed.), Budapest, Hungary, MIT Press 1993."},{"key":"15_CR7","volume-title":"Research Rep. CSS-IS TR 92-12","author":"W. S. Havens","year":"1992","unstructured":"W. S. Havens. Intelligent Backtracking in the Echidna Constraint Logic Programming System. Research Rep. CSS-IS TR 92-12, Simon Fraser University, Vancouver, Canada, 1992."},{"key":"15_CR8","unstructured":"T. Huynh and K. Marriott. Incremental Constraint Deletion in Systems of Linear Constraints. Draft Report, IBM T. J. Watson Research Center, 1992."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez. Constraint Logic Programming. In Proceedings of POPL '87, ACM Press, 1987.","DOI":"10.1145\/41625.41635"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, vol.8, n.1, 1977.","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"B. A. Nadel. Constraint Satisfaction Algorithms. Computational Intelligence 5 (1989).","DOI":"10.1111\/j.1467-8640.1989.tb00328.x"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"B. Neveu and P. Berlandier. Maintaining Arc Consistency through Constraint Retraction. Proc. TAI94, IEEE Press.","DOI":"10.1109\/TAI.1994.346461"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"15_CR14","unstructured":"T. Sola. Deduction Maintenance in Constraint Logic Programs. Ph.D. thesis, University of Paris XI, December 1995."},{"key":"15_CR15","series-title":"Logic Programming Series","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming, Logic Programming Series, The MIT Press, Cambridge, MA, 1989."},{"key":"15_CR16","unstructured":"P. Van Hentenryck, V. Saraswat and Y. Deville. Constraint processing in cc(FD). In Constraint Programming: Basics and Trends, A. Podelski (Ed.), LNCS 910, Springer Verlag 1995. First version: Research Report, Brown University, Jan. 1992."},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Hentenryck Van","year":"1992","unstructured":"P. Van Hentenryck, Y. Deville and C-M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57 (1992), pp 291\u2013321.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62034-6_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:37:35Z","timestamp":1619573855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62034-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620341","9783540496311"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-62034-6_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}