{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:23:33Z","timestamp":1725560613508},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540218340"},{"type":"electronic","value":"9783540246626"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24662-6_5","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T15:22:38Z","timestamp":1279812158000},"page":"87-106","source":"Crossref","is-referenced-by-count":0,"title":["Learning Approximate Consistencies"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Lallouet","sequence":"first","affiliation":[]},{"given":"Andre\u00ef","family":"Legtchenko","sequence":"additional","affiliation":[]},{"given":"Thi-Bich-Hanh","family":"Dao","sequence":"additional","affiliation":[]},{"given":"AbdelAli","family":"Ed-Dbali","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1142\/S0218213002000903","volume":"11","author":"S. Abdennadher","year":"2002","unstructured":"Abdennadher, S., Rigotti, C.: Automatic generation of rule-based solvers for intensionally defined constraints. International Journal on Artificial Intelligence Tools\u00a011(2), 283\u2013302 (2002)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Rigotti, C.: Automatic generation of rule-based constraint solvers over finite domains. Transaction on Computational Logic (2003) (accepted for publication)","DOI":"10.1145\/976706.976707"},{"issue":"1-2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0304-3975(99)00032-8","volume":"221","author":"K.R. Apt","year":"1999","unstructured":"Apt, K.R.: The essence of constraint propagation. Theoretical Computer Science\u00a0221(1-2), 179\u2013210 (1999)","journal-title":"Theoretical Computer Science"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-540-48085-3_5","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"K.R. Apt","year":"1999","unstructured":"Apt, K.R., Monfroy, E.: Automatic generation of constraint propagation algorithms for small finite domains. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 58\u201372. Springer, Heidelberg (1999)"},{"key":"5_CR5","unstructured":"Bart\u00e1k, R., Mecl, R.: Implementing propagators for tabular constraints. In: Rossi, F., Szeredi, P., Apt, K.R., Fages, F., V\u00e1ncza, J. (eds.) Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, MTA SZTAKI, Budapest, Hungary, pp. 69\u201383 (2003)"},{"key":"5_CR6","first-page":"398","volume-title":"International Joint Conference on Artificial Intelligence","author":"C. Bessi\u00e8re","year":"1997","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.-C.: Arc-consistency for general constraint networks: preliminary results. In: International Joint Conference on Artificial Intelligence, Nagoya, Japan, pp. 398\u2013404. Morgan Kaufmann, San Francisco (1997)"},{"key":"5_CR7","first-page":"339","volume-title":"International Conference on Logic Programming","author":"B. Carlson","year":"1994","unstructured":"Carlson, B., Carlsson, M., Diaz, D.: Entailment of finite domain constraints. In: Van Hentenryck, P. (ed.) International Conference on Logic Programming, Santa Margherita Ligure, Italy, pp. 339\u2013353. MIT Press, Cambridge (1994)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-45193-8_15","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"K.C.K. Cheng","year":"2003","unstructured":"Cheng, K.C.K., Lee, J.H.M., Stuckey, P.J.: Box constraint collections for adhoc constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 214\u2013228. Springer, Heidelberg (2003)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/3-540-46135-3_36","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"T.-B.-H. Dao","year":"2002","unstructured":"Dao, T.-B.-H., Lallouet, A., Legtchenko, A., Martin, L.: Indexical-based solver learning. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 541\u2013555. Springer, Heidelberg (2002)"},{"key":"5_CR11","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"5_CR12","unstructured":"Diaz, D.: Personal communication (2003)"},{"key":"5_CR13","unstructured":"Diaz, D., Codognet, P.: Design and implementation of the Gnu-Prolog system. Journal of Functional and Logic Programming\u00a02001(6) (2001)"},{"issue":"1-3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of Constraint Handling Rules. Journal of Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"5_CR15","first-page":"1379","volume-title":"International Joint Conference on Artificial Intelligence","author":"A. Lallouet","year":"2003","unstructured":"Lallouet, A., Dao, T.-B.-H., Legtchenko, A., Ed-Dbali, A.A.: Finite domain constraint solver learning. In: Gottlob, G. (ed.) International Joint Conference on Artificial Intelligence, Acapulco, Mexico, pp. 1379\u20131380. AAAI Press, Menlo Park (2003) (poster)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1007\/978-3-540-45193-8_73","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"A. Lallouet","year":"2003","unstructured":"Lallouet, A., Legtchenko, A., Dao, T.-B.-H., Ed-Dbali, A.: Intermediate (learned) consistencies. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 889\u2013893. Springer, Heidelberg (2003)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T. Provost Le","year":"1993","unstructured":"Le Provost, T., Wallace, M.: Generalized constraint propagation over the CLP Scheme. Journal of Logic Programming\u00a016, 319\u2013359 (1993)","journal-title":"Journal of Logic Programming"},{"key":"5_CR18","unstructured":"Legtchenko, A.: Delaying big operators in order to construct some new consistencies. In: Abdennadher, T.F.S., Lallouet, A. (eds.) International Workshop on Rule-Based Constraint Reasoning and Programming, Kinsale, County Cork, Ireland, pp. 98\u2013107 (2003)"},{"key":"5_CR19","unstructured":"Mackworth, A.K.: On reading sketch maps. In: Reddy, R. (ed.) International Joint Conference on Artificial Intelligence, Cambridge, MA, USA, pp. 598\u2013606. William Kaufmann (1977)"},{"key":"5_CR20","unstructured":"Mohr, R., Masini, G.: Good old discrete relaxation. In: Kodratoff, Y. (ed.) European Conference on Artificial Intelligence, Munich, Germany, pp. 651\u2013656. Pitmann Publishing (1988)"},{"key":"5_CR21","first-page":"359","volume-title":"National Conference on Artificial Intelligence","author":"J.-F. Puget","year":"1998","unstructured":"Puget, J.-F.: A fast algorithm for the bound consistency of alldiff constraints. In: National Conference on Artificial Intelligence, Madison, Wisconsin, USA, July 26-30, pp. 359\u2013366. AAAI Press, Madison (1998)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/978-3-540-45193-8_46","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"M. Sellmann","year":"2003","unstructured":"Sellmann, M.: Approximated consistency for knapsack constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 679\u2013693. Springer, Heidelberg (2003)"},{"key":"5_CR23","unstructured":"van Hentenryck, P., Saraswat, V., Deville, Y.: Constraint processing in cc(fd). draft (1991)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24662-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:51:06Z","timestamp":1605743466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24662-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540218340","9783540246626"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24662-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}