{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:50Z","timestamp":1725663830095},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545354"},{"type":"electronic","value":"9783540384595"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54535-2_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:00:53Z","timestamp":1330210853000},"page":"17-29","source":"Crossref","is-referenced-by-count":0,"title":["Constraint solving in finite domains under user control"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Menezes","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"A. Colmerauer, Prolog III Universe, Communications of the ACM, Vol.33, Number 6, June 1990.","DOI":"10.1145\/79204.79210"},{"key":"2_CR2","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier, The Constraint Logic Programming Language CHIP, Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'88), Tokyo, December 1988."},{"key":"2_CR3","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"P. van Hentenryck, Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, MA (1989)."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez, Constraint Logic Programing, Proceedings of the 14th ACM POPL Symposium, Munich, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"2_CR5","unstructured":"J. Jaffar and S. Michaylov, Methodology and Implementation of a CLP System, Proceedings of the 4th ICLP, Melbourne, May 1987."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Ehud Shapiro, The Family of Concurrent Logic Programming Languages, ACM Computing Surveys, Vol.21, Number 3, September 1989.","DOI":"10.1145\/72551.72555"}],"container-title":["Lecture Notes in Computer Science","EPIA 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54535-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:33Z","timestamp":1605646533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54535-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545354","9783540384595"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-54535-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}