{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:38:04Z","timestamp":1752460684696},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:03:47Z","timestamp":1330275827000},"page":"39-61","source":"Crossref","is-referenced-by-count":2,"title":["Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Codognet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Nardiello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci. Warren's Abstract Machine. The MIT Press, (1991).","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"3_CR2","first-page":"775","volume-title":"Overview of the CHIP Compiler System","author":"A. Aggoun","year":"1991","unstructured":"A. Aggoun and N. Beldiceanu. Overview of the CHIP Compiler System. In Proc. Eighth Int. Conf. on Logic Programming (ICLP'91), Paris, France, The MIT Press, pp. 775\u2013789 (1991). Also in Constraint Logic Programming: selected research (A. Colmerauer and F. Benhamou eds.), The MIT Press, (1993)."},{"key":"3_CR3","first-page":"179","volume":"65","author":"C. Bessi\u00e8re","year":"1984","unstructured":"C. Bessi\u00e8re. Arc-consistency and arc-consistency again. Art. Int. 65, pp. 179\u2013190, (1984).","journal-title":"Arc-consistency and arc-consistency again. Art. Int."},{"key":"3_CR4","unstructured":"P. Boizumault, Y. Delon, L. P\u00e9ridy. Solving a Real-life Planning Exams Problem using Constraint Logic Programming. In Constraint Processing-Proc. of the Int. WS at CSAM'93 (M. Meyer ed.), DFKI Research Report 93\u201339, pp.106\u2013112, August (1993)."},{"issue":"7","key":"3_CR5","first-page":"70","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer. An Introduction to Prolog III. ACM Comm., 33(7), pp. 70\u201390, July (1990).","journal-title":"An Introduction to Prolog III. ACM Comm."},{"key":"3_CR6","first-page":"774","volume-title":"A Minimal Extension of the WAM for clp(FD)","author":"D. Diaz","year":"1993","unstructured":"D. Diaz and Ph. Codognet. A Minimal Extension of the WAM for clp(FD). In Proc. Tenth Int. Conf. on Logic Programming (ICLP'93), Budapest, Hungary, The MIT Press, pp. 774\u2013790 (1993)."},{"key":"3_CR7","unstructured":"Ph. Codognet and D. Diaz. Compiling Constraints in clp(FD). Tech. Rep. INRIA (1993)."},{"key":"3_CR8","unstructured":"Ph. Codognet and D. Diaz. Local Propagation Methods for Solving Boolean Constraints in Constraint Logic Programming. Tech. Rep. INRIA (1993)."},{"key":"3_CR9","unstructured":"Ph. Codognet and G. Nardiello. Path consistency in clp(FD). Proceedings of CCL'94-1st International Conference on Constraint in Computational Logics, Munich, LNCS 845 (J.-P. Jouannaud ed.), Springer-Verlag (1994)."},{"key":"3_CR10","unstructured":"CHIP User's Guide. Version 4.0 Revision A. COSYTEC SA, June 11, France (1993)."},{"key":"3_CR11","first-page":"89","volume":"41","author":"M.C. Cooper","year":"1989\/90","unstructured":"M.C. Cooper. An Optimal k-Consistency Algorithm. Art. Int. 41, pp. 89\u201395, (1989\/90).","journal-title":"An Optimal k-Consistency Algorithm. Art. Int."},{"issue":"1\u20132","key":"3_CR12","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"M. Dincbas, M. Simonis, and P. Van Hentenryck. Solving Large Combinatorial Problems in Constraint Logic Programming. Journal of Logic Programming, 8(1\u20132), pp. 75\u201393, (1990).","journal-title":"Journal of Logic Programming"},{"key":"3_CR13","first-page":"61","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri and J. Pearl. Temporal constraint networks. Art. Int. 49, pp. 61\u201395 (1991).","journal-title":"Temporal constraint networks. Art. Int."},{"key":"3_CR14","unstructured":"M. Dincbas, P. Van Hentenryck, M. Simonis, A. Aggoun, T. Graf, F. Berthier. The Constraint Logic Programming Language CHIP. In Proc. Int. Conf. on Fifth Generation Computer System (FGCS'88), Tokyo, Japan, December, pp. 693\u2013702 (1988)."},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E.C. Freuder","year":"1978","unstructured":"E.C. Freuder. Synthesizing constraint expressions. Communications of the ACM, 21, pp. 958\u2013966, (1978).","journal-title":"Communications of the ACM"},{"issue":"1","key":"3_CR16","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"E.C. Freuder. A Sufficient Condition for Backtrack-Free Search. Journal of the ACM, 29(1), pp. 24\u201332, (1982).","journal-title":"Journal of the ACM"},{"key":"3_CR17","first-page":"263","volume":"14","author":"R.M. Haralick","year":"1980","unstructured":"R.M. Haralick and G.L. Elliott. Increasing Tree Search Efficiency for Constraint Satisfaction Problems. Art. Int. 14, pp. 263\u2013313, (1980).","journal-title":"Increasing Tree Search Efficiency for Constraint Satisfaction Problems. Art. Int."},{"key":"3_CR18","first-page":"125","volume":"36","author":"C.-C. Han","year":"1988","unstructured":"C.-C. Han and C.H. Lee. Comments on Mohr and Henderson's Path Consistency Algorithm. Art. Int. 36, pp. 125\u2013130, (1988).","journal-title":"Comments on Mohr and Henderson's Path Consistency Algorithm. Art. Int."},{"key":"3_CR19","volume-title":"Constraint Logic Programming. Tech. Rep. 86\/73","author":"J. Jaffar","year":"1986","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Tech. Rep. 86\/73, Monash University, Victoria, Australia, June (1986)."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. 14th ACM Conf. on Priciples of Programming Languages (POPL'87), Munich, January, pp. 111\u2013119 (1987).","DOI":"10.1145\/41625.41635"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. J. Logic Programming, to appear, (1994).","DOI":"10.1016\/0743-1066(94)90033-7"},{"issue":"3","key":"3_CR22","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P.J. Stuckey and R.H.C. Yap. The CLP(R) Language and System. ACM Trans. on Prog. Lang. and Systems, vol. 14(3), pp. 339\u2013395, (1992).","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"3_CR23","unstructured":"V. Kumar. Algorithms for Constraint-Satisfaction Problems: A Survey. AI Magazine, pp. 32\u201344, Spring (1992)."},{"issue":"1","key":"3_CR24","first-page":"99","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in Network of Relations. AI Journal, 8(1), pp. 99\u2013118, (1977).","journal-title":"Consistency in Network of Relations. AI Journal"},{"key":"3_CR25","first-page":"3","volume":"58","author":"A.K. Mackworth","year":"1992","unstructured":"A.K. Mackworth. The logic of constraint satisfaction. AI Journal, 58(1\u20133) (special volume on Constraint Based Reasoning), pp.3\u201320, (1992).","journal-title":"AI Journal"},{"key":"3_CR26","first-page":"65","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"A.K. Mackworth and E.C. Freuder. The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Art. Int. 25, pp. 65\u201374, (1985).","journal-title":"The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Art. Int."},{"key":"3_CR27","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T.C. Henderson. Arc and Path Consistency Revisited. Artificial Intelligence, 28, pp. 225\u2013233, (1986).","journal-title":"Artificial Intelligence"},{"key":"3_CR28","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari. Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Sciences 7, pp. 95\u2013132, (1974).","journal-title":"Information Sciences"},{"key":"3_CR29","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. Constraint Satisfaction Algorithms. Computational Intelligence, 5, pp. 188\u2013224, (1989).","journal-title":"Computational Intelligence"},{"key":"3_CR30","unstructured":"G. Nardiello. The clp(FD)++ system: its Language and Implementation. draft, July, (1994)."},{"key":"3_CR31","unstructured":"W. Older and A. Vellino. Constraint Arithmetic on Real Intervals. In Constraint Logic Programming (F. Benhamou and A. Colmerauer eds.), pp. 175\u2013195, The MIT Press, (1993)."},{"key":"3_CR32","unstructured":"B.M. Smith. How to solve the zebra problem or path-consistency the easy way. Proc. ECAI'92, pp. 36\u201337, (1992)."},{"key":"3_CR33","unstructured":"E. Tsang. Foundations of Constraint Satisfaction. Academic Press, (1993)."},{"key":"3_CR34","unstructured":"P. van Beek. On the minimality and decomposability of constraint networks. Proc. AAAI'92, pp. 447\u2013452, (1992)."},{"key":"3_CR35","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, (1989)."},{"key":"3_CR36","volume-title":"The Cardinality Operator: A new Logical Connective for Constraint Logic Programming","author":"P. Hentenryck Van","year":"1991","unstructured":"P. Van Hentenryck and Y. Deville. The Cardinality Operator: A new Logical Connective for Constraint Logic Programming. In Proc. Eighth Int. Conf. on Logic Programming (ICLP'91), The MIT Press, Paris, France, (1991)."},{"key":"3_CR37","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, pp 291\u2013321, (1992).","journal-title":"Artificial Intelligence"},{"key":"3_CR38","unstructured":"P. Van Hentenryck, V.A. Saraswat and Y. Deville. Constraint processing in cc(FD). Draft (1991)"}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:55Z","timestamp":1619572975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}