{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:03:00Z","timestamp":1725487380781},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404385"},{"type":"electronic","value":"9783540450139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45013-0_3","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:06:29Z","timestamp":1184587589000},"page":"32-47","source":"Crossref","is-referenced-by-count":0,"title":["Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Rigotti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"3_CR1","series-title":"Lect Notes Comput Sci","volume-title":"5th International Conference on Principles and Practice of Constraint Programming, CP\u201999","author":"S. Abdennadher","year":"1999","unstructured":"S. Abdennadher and T. Fruhwirth. Operational equivalence of CHR programs and constraints. In 5th International Conference on Principles and Practice of Constraint Programming, CP\u201999, LNCS 1713. Springer-Verlag, 1999."},{"key":"3_CR2","series-title":"Lect Notes Comput Sci","volume-title":"6th International Conference on Principles and Practice of Constraint Programming, CP00","author":"S. Abdennadher","year":"2000","unstructured":"S. Abdennadher and C. Rigotti. Automatic generation of propagation rules for finite domains. In 6th International Conference on Principles and Practice of Constraint Programming, CP00, LNCS 1894. Springer-Verlag, 2000."},{"key":"3_CR3","series-title":"Lect Notes Comput Sci","volume-title":"7th International Conference on Principles and Practice of Constraint Programming, CP\u20192001","author":"S. Abdennadher","year":"2001","unstructured":"S. Abdennadher and C. Rigotti. Towards inductive constraint solving. In 7th International Conference on Principles and Practice of Constraint Programming, CP\u20192001, LNCS. Springer-Verlag, 2001."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"S. Abdennadher and C. Rigotti. Using confluence to generate rule-based constraint solvers. In Third International Conference on Principles and Practice of Declarative Programming. ACM Press, 2001.","DOI":"10.1145\/773184.773198"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"S. Abdennadher and C. Rigotti. Automatic generation of rule-based constraint solvers over finite domains. ACM Transactions on Computational Logic, 2004. to appear.","DOI":"10.1145\/976706.976707"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"S. Abdennadher and H. Schutz. CHRV: A flexible query language. Flexible Query Answering Systems, LNAI 1495, 1998.","DOI":"10.1007\/BFb0055987"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"K. Apt. A proof theoretic view of constraint programming. Special Issue of Fundamenta Informaticae, 34(3), 1998.","DOI":"10.3233\/FI-1998-34306"},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","volume-title":"5th International Conference on Principles and Practice of Constraint Programming, CP\u201999","author":"K. Apt","year":"1999","unstructured":"K. Apt and E. Monfroy. Automatic generation of constraint propagation algorithms for small finite domains. In 5th International Conference on Principles and Practice of Constraint Programming, CP\u201999, LNCS 1713. Springer-Verlag, 1999."},{"key":"3_CR9","unstructured":"A. Biermann. Automatic programming. Encyclopedia of Artificial Intelligence, second, extended edition,, 1992."},{"key":"3_CR10","unstructured":"P. Codognet. A tabulation method for constraint logic programs. In 8th Symposium and Exhibition on Industrial Applications of Prolog, 1995."},{"key":"3_CR11","series-title":"Lect Notes Comput Sci","volume-title":"First International Conference on Computational Logic","author":"B. Cui","year":"2000","unstructured":"B. Cui and D. S. Warren. A system for tabled constraint logic programming. In First International Conference on Computational Logic, LNCS 1861. Springer-Verlag, 2000."},{"issue":"1\u20133","key":"3_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"T. Fr\u00fchwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, 37(1\u20133):95\u2013138, 1998.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"3_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P. V. Hentenryck","year":"1998","unstructured":"P. V. Hentenryck, V. Saraswat, and Y. Deville. Desing, implementation, and evaluation of the constraint language cc(FD). Journal of Logic Programming, 37(1\u20133):139\u2013164, 1998.","journal-title":"Journal of Logic Programming"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 20, 1994.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"S. Muggleton and L. De Raedt. Inductive Logic Programming: theory and methods. Journal of Logic Programming, 19, 20:629\u2013679, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T. L. Provost","year":"1993","unstructured":"T. L. Provost and M. Wallace. Generalized constraint propagation over the CLP scheme. Journal of Logic Programming, 16(3):319\u2013359, 1993.","journal-title":"Journal of Logic Programming"},{"key":"3_CR18","unstructured":"T. Przymusinski. On constructive negation in logic programming. In Proceedings of the North American Conference on Logic Programming, 1990."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"C. Ringeissen and E. Monfroy. Generating propagation rules for finite domains via unification in finite algebra. In New Trends in Constraints. LNAI 1865, 2000.","DOI":"10.1007\/3-540-44654-0_8"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1006\/inco.1995.1048","volume":"118","author":"P. J. Stuckey","year":"1995","unstructured":"P. J. Stuckey. Negation and constraint logic programming. Information and Computation, 118(1): 12\u201333, 1995.","journal-title":"Information and Computation"},{"key":"3_CR21","series-title":"Lect Notes Comput Sci","volume-title":"3rd International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"H. Tamaki and T. Sato. OLD resolution with tabulation. In 3rd International Conference on Logic Programming, LNCS 225. Springer-Verlag, 1986."},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D. S. Warren","year":"1992","unstructured":"D. S. Warren. Memoing for logic programs. Communications of ACM, 35(4):93\u201311, 1992.","journal-title":"Communications of ACM"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"J. W\u00fcrtz and T. M\u00fcller. Constructive disjunction revisited. In Proc. of the 20th German Annual Conference on Artificial Intelligence, LNAI 1137. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61708-6_78"}],"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\/3-540-45013-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,24]],"date-time":"2020-04-24T21:40:24Z","timestamp":1587764424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45013-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404385","9783540450139"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45013-0_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}