{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:06:27Z","timestamp":1761620787705,"version":"3.41.2"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[1999,2]]},"DOI":"10.1023\/a:1009893626769","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"5-42","source":"Crossref","is-referenced-by-count":9,"title":["Constraint Retraction in CLP(FD): Formal Framework and Performance Results"],"prefix":"10.1007","volume":"4","author":[{"given":"Yan","family":"Georget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Codognet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"199167_CR1","unstructured":"A. Aggoun and N. Beldiceanu (1993). Overview of the CHIP Compiler System. In Constraint Logic Programming: Selected Research, A. Colmerauer and F. Benhamou (Eds.). MIT Press."},{"key":"199167_CR2","doi-asserted-by":"crossref","unstructured":"C. Bessi\u00e9re (1994). Arc-consistency and Arc-consistency again. Artificial Intelligence, 65(1).","DOI":"10.1016\/0004-3702(94)90041-8"},{"key":"199167_CR3","volume-title":"Proc. ILPS'94, International Logic Programming Symposium","author":"B. Carlson","year":"1994","unstructured":"B. Carlson, M. Carlsson and S. Janson (1994). Finite Domain Constraints in AKL(FD). In Proc. ILPS'94, International Logic Programming Symposium. USA, MIT Press."},{"key":"199167_CR4","volume-title":"Proc. ICLP'89, 6th International Conference on Logic Programming","author":"C. Codognet","year":"1989","unstructured":"C. Codognet and P. Codognet (1989). Non-deterministic Stream AND-Parallelism based on Intelligent Backtracking. In Proc. ICLP'89, 6th International Conference on Logic Programming. Lisbon, MIT Press."},{"key":"199167_CR5","volume-title":"Proc. ICLP'93, 10th International Conference on Logic Programming","author":"P. Codognet","year":"1993","unstructured":"P. Codognet and D. Diaz (1993). A Minimal Extension of the WAM for clp(FD). In Proc. ICLP'93, 10th International Conference on Logic Programming. Budapest, Hungary, MIT Press."},{"key":"199167_CR6","doi-asserted-by":"crossref","unstructured":"P. Codognet and D. Diaz (1996). Compiling Constraints in clp(FD). Journal of Logic Programming, vol. 27(3).","DOI":"10.1016\/0743-1066(95)00121-2"},{"key":"199167_CR7","unstructured":"P. Codognet, F. Fages and T. Sola (1993). 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."},{"key":"199167_CR8","doi-asserted-by":"crossref","unstructured":"P. Codognet and G. Nardiello (1995). Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods. In Constraint Programming: Basics and Trends, A. Podelski (Ed.). LNCS 910, Springer Verlag.","DOI":"10.1007\/3-540-59155-9_3"},{"key":"199167_CR9","volume-title":"Proc. ICLP'95, 12th International Conference on Logic Programming","author":"P. Codognet","year":"1995","unstructured":"P. Codognet and F. Rossi (1995). NMCC Programming: Constraint Enforcement and Retraction in CC Programming. Proc. ICLP'95, 12th International Conference on Logic Programming. Tokyo, Japan, MIT Press."},{"key":"199167_CR10","volume-title":"16th Conference on Foundations of Software Technology and Theoretical Computer Science","author":"P. Codognet","year":"1996","unstructured":"P. Codognet, D. Diaz and F. Rossi (1996). Constraint Retraction in FD. 16th Conference on Foundations of Software Technology and Theoretical Computer Science. Hyderabad, India, Springer-Verlag, LNCS 1180."},{"key":"199167_CR11","doi-asserted-by":"crossref","unstructured":"J. Doyle (1979). A Truth Maintenance System. Artificial Intelligence 12.","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"199167_CR12","unstructured":"R. Fagin, G. Kuper, J. Ullman, M. Vardi (1986). Updating Logical Databases. Advances in Computing Research, vol.3."},{"key":"199167_CR13","volume-title":"Proc. ASIAN'97","author":"Y. Georget","year":"1997","unstructured":"Y. Georget, P. Codognet and F. Rossi (1997). Implementing Constraint Retraction for Finite Domains. In Proc. ASIAN'97. Katmandu, Nepal, Springer-Verlag."},{"key":"199167_CR14","series-title":"Research Rep. CSS-IS TR","volume-title":"Intelligent Backtracking in the Echidna Constraint Logic Programming System","author":"W. S. Havens","year":"1992","unstructured":"W. S. Havens (1992). Intelligent Backtracking in the Echidna Constraint Logic Programming System. Research Rep. CSS-IS TR 92-12, Simon Fraser University, Vancouver, Canada."},{"key":"199167_CR15","unstructured":"T. Huynh and K. Marriott (1992). Incremental Constraint Deletion in Systems of Linear Constraints. Draft Report, IBM T. J. Watson Research Center."},{"key":"199167_CR16","unstructured":"ILOG SA (1997). The Ilog Solver White Paper."},{"key":"199167_CR17","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez (1987). Constraint Logic Programming. Proc. POPL, ACMconference on Principles and Practice of Programming Languages, ACM Press.","DOI":"10.1145\/41625.41635"},{"key":"199167_CR18","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M. Maher (1994). Constraint Logic Programming: A Survey. Journal of Logic Programming, 19 & 20.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"199167_CR19","doi-asserted-by":"crossref","unstructured":"J. de Kleer (1986). An assumption-based truth maintenance system. Artificial Intelligence 28.","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"199167_CR20","doi-asserted-by":"crossref","unstructured":"A.K. Mackworth (1977). Consistency in networks of relations. Artificial Intelligence, vol.8 (1).","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"199167_CR21","doi-asserted-by":"crossref","unstructured":"A. K. Macworth and E. C. Freuder (1985). The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25.","DOI":"10.1016\/0004-3702(85)90041-4"},{"key":"199167_CR22","doi-asserted-by":"crossref","unstructured":"R. Mohr and T. Henderson (1986). Arc and path consistency revisited. Artificial Intelligence, 28.","DOI":"10.1016\/0004-3702(86)90083-4"},{"key":"199167_CR23","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B. A. Nadel","year":"1989","unstructured":"B. A. Nadel (1989). Constraint Satisfaction Algorithms. Computational Intelligence, 5:188-224.","journal-title":"Computational Intelligence"},{"key":"199167_CR24","doi-asserted-by":"crossref","unstructured":"B. Neveu and P. Berlandier (1994). Maintaining Arc Consistency through Constraint Retraction. Proc.TAI'94, IEEE conference on Tools with Artificial Intelligence, IEEE Press.","DOI":"10.1109\/TAI.1994.346461"},{"key":"199167_CR25","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat (1993). Concurrent Constraint Programming. MIT Press.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"199167_CR26","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat (1992). The Category of Constraint Systems is Cartesian-Closed. Logic In Computer Science.IEEE Press.","DOI":"10.1109\/LICS.1992.185546"},{"key":"199167_CR27","unstructured":"The SICSTUS v3 User's Manual. Available at http:\/\/www.sics.se\/ps\/sicstus.html"},{"key":"199167_CR28","unstructured":"T. Sola (1995). Deduction Maintenance in Constraint Logic Programs. Ph.D. thesis (in French), University of Paris XI."},{"key":"199167_CR29","unstructured":"E. Tsang (1993). Foundations of Constraint Satisfaction. Academic Press."},{"key":"199167_CR30","series-title":"Logic Programming Series","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. V. Hentenryck","year":"1989","unstructured":"P. Van Hentenryck (1989). Constraint Satisfaction in Logic Programming. Logic Programming Series, The MIT Press, Cambridge, MA."},{"key":"199167_CR31","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. V. Hentenryck","year":"1992","unstructured":"P. Van Hentenryck, Y. Deville and C-M. Teng (1992). A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57:291-321.","journal-title":"Artificial Intelligence"},{"key":"199167_CR32","unstructured":"P. Van Hentenryck, V. Saraswat and Y. Deville (1992). 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."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009893626769.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009893626769\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009893626769.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:00:25Z","timestamp":1752379225000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009893626769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,2]]}},"alternative-id":["199167"],"URL":"https:\/\/doi.org\/10.1023\/a:1009893626769","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}