{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:53:13Z","timestamp":1725483193111},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678854"},{"type":"electronic","value":"9783540446545"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44654-0_13","type":"book-chapter","created":{"date-parts":[[2007,4,28]],"date-time":"2007-04-28T03:42:39Z","timestamp":1177731759000},"page":"256-273","source":"Crossref","is-referenced-by-count":0,"title":["A Finite Domain CLP Solver on Top of Mercury"],"prefix":"10.1007","author":[{"given":"Henk","family":"Vandecasteele","sequence":"first","affiliation":[]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"13_CR1","unstructured":"M. Bruynooghe and D. De Schreye. Meta-interpretation. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence, pages 939\u2013940. John Wiley & Sons, Inc, 1992."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"M. Carlsson, G. Ottosson, and B Carlson. An open-ended finite domain constraint solver. In Proc. of Programming Languages: Implementations, Logics, and Programs, 1997.","DOI":"10.1007\/BFb0033845"},{"issue":"3","key":"13_CR3","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"P. Codognet","year":"1996","unstructured":"P. Codognet and D. Diaz. Compiling constraints in clp(fd). The Journal of Logic Programming, 27(3):185\u2013226, June 1996.","journal-title":"The Journal of Logic Programming"},{"key":"13_CR4","unstructured":"Fergus Henderson, Thomas Conway, Zoltan Somogyi, and David Jeffery. The Mercury Language Reference Manual 0.8.1. Melbourne, 1999."},{"key":"13_CR5","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The implemenatation of mercury: an efficient declarative logic programming language. In Proceedings of the ILPS\u201994 Postconference Workshop on Implementation Techniques for Logic Programming Languages, 1994."},{"key":"13_CR6","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT press, 1989."},{"key":"13_CR7","unstructured":"P. Van Hentenryck and Y. Deville. The cardinality operator: A new logical connective for constraint logic programming. In proceedings of ICLP, pages 745\u2013759, 1991."},{"key":"13_CR8","unstructured":"H. Vandecasteele. Constraint Logic Programming: Applications and Implementation. PhD thesis, Department of Computer Science, K.U.Leuven, 1999."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"H. Vandecasteele and D. De Schreye. Implementing a finite-domain CLP-language on top of Prolog: a transformational approach. In Frank Pfenning, editor, Proceedings of Logic Programming and Automated Reasoning, number 822 in Lecture Notes in Artificial Intelligence, pages 84\u201398. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58216-9_31"},{"key":"13_CR10","unstructured":"H. Vandecasteele, B. Demoen, and J. Van Der Auwera. The use of Mercury for the implementation of a finite domain solver. In Proceedings of JICSLP\u201996 Post-conference Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Languages, 1996."},{"key":"13_CR11","unstructured":"H. Vandecasteele, B. Demoen, and J. Van Der Auwera. The use of Mercury for the implementation of a finite domain solver. In I. de Castro Dutra, M. Carro, V. Santos Costa, G. Gupta, E. Pontellia, and Silva F, editors, Nova Science Special Volume on Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science Publishers Inc, 1999."}],"container-title":["Lecture Notes in Computer Science","New Trends in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44654-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T15:18:55Z","timestamp":1556378335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44654-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678854","9783540446545"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44654-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}