{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T15:12:28Z","timestamp":1776870748908,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540615514","type":"print"},{"value":"9783540706205","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61551-2_101","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:56:21Z","timestamp":1330293381000},"page":"531-532","source":"Crossref","is-referenced-by-count":1,"title":["Towards an open finite domain constraint solver"],"prefix":"10.1007","author":[{"given":"Mats","family":"Carlsson","sequence":"first","affiliation":[]},{"given":"Bj\u00f6rn","family":"Carlson","sequence":"additional","affiliation":[]},{"given":"Greger","family":"Ottosson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"40_CR1","unstructured":"B. Carlson, M. Carlsson, and D. Diaz. Entailment of finite domain constraints. In Proceedings of the Eleventh International Conference on Logic Programming. MIT Press, 1994."},{"key":"40_CR2","first-page":"774","volume-title":"A Minimal Extension of the WAM for CLP(FD)","author":"D. Diaz","year":"1993","unstructured":"D. Diaz and P. Codognet. A Minimal Extension of the WAM for CLP(FD). In Proceedings of the International Conference on Logic Programming, pages 774\u2013790, Budapest, Hungary, 1993. MIT Press."},{"key":"40_CR3","unstructured":"C. Holzbaur. Specification of Constraint Based Inference Mechanism through Extended Unification. PhD thesis, Dept. of Medical Cybernetics and AI, University of Vienna, 1990."},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Design, implementation and evaluation of the constraint language cc(FD). In A. Podelski, editor, Constraints: Basics and Trends, volume 910 of Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59155-9_15"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61551-2_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:49Z","timestamp":1605647269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61551-2_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615514","9783540706205"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-61551-2_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}