{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:38:30Z","timestamp":1725521910664},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787686"},{"type":"electronic","value":"9783540787693"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78769-3_8","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T07:05:56Z","timestamp":1227683156000},"page":"106-120","source":"Crossref","is-referenced-by-count":1,"title":["Generation of Rule-Based Constraint Solvers: Combined Approach"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Ingi","family":"Sobhi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2003","author":"S. Abdennadher","year":"2004","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: Integration and Optimization of Rule-based Constraint Solvers. In: International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2003. LNCS, Springer, Heidelberg (2004)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"S. Abdennadher","year":"2000","unstructured":"Abdennadher, S., Rigotti, C.: Automatic Generation of Propagation Rules for Finite Domains. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, Springer, Heidelberg (2000)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-45578-7_3","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"S. Abdennadher","year":"2001","unstructured":"Abdennadher, S., Rigotti, C.: Towards Inductive Constraint Solving. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 31\u201345. Springer, Heidelberg (2001)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Rigotti, C.: Automatic Generation of CHR Constraint Solvers. Journal of Theory and Practice of Logic Programming (TPLP)\u00a05(2) (2005)","DOI":"10.1017\/S1471068405002371"},{"key":"8_CR5","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., 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":"8_CR6","unstructured":"Codognet, P.: A Tabulation Method for Constraint Logic Programs. In: 8th Symposuim and Exibition on Industrial Applications of Prolog (1995)"},{"key":"8_CR7","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Computational Logic - CL 2000","author":"D.S. Warren","year":"2000","unstructured":"Warren, D.S., Cui, B.: A System for Tabled Constraint Logic Programming. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, Springer, Heidelberg (2000)"},{"issue":"1\u20133","key":"8_CR8","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, Special Issue on Constraint Logic Programming. Journal of Logic Programming\u00a037(1\u20133), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"8_CR9","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"New Trends in Constraints","author":"E. Monfroy","year":"2000","unstructured":"Monfroy, E., Ringeissen, C.: Generating Propagation Rules for Finite Domains: A Mixed Approach. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol.\u00a01865, Springer, Heidelberg (2000)"},{"key":"8_CR10","unstructured":"Sobhi, I.: Constructive generation of rule-based constraint solvers. Master\u2019s thesis, German University in Cairo (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78769-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T00:24:21Z","timestamp":1551659061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78769-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787686","9783540787693"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78769-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}