{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:15Z","timestamp":1725483855090},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_33","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:59:47Z","timestamp":1179208787000},"page":"492-507","source":"Crossref","is-referenced-by-count":3,"title":["Inferring Constraint Types in Constraint Programming"],"prefix":"10.1007","author":[{"given":"David","family":"Lesaint","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(94)90041-8","volume":"65","author":"C. Bessi\u00e8re","year":"1994","unstructured":"Bessi\u00e8re C, \u201cArc-consistency and arc-consistency again\u201d, Artificial Intelligence, Vol. 65, pp. 179\u2013190, 1994.","journal-title":"Artificial Intelligence"},{"key":"33_CR2","unstructured":"Bessi\u00e8re C, E.C. Freuder, and J.C. Regin, \u201cUsing inference to reduce arc consistency computation\u201d, in Proc. of 14th Int. Joint Conf. on AI, Montreal, pp. 592\u2013598, 1995."},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0004-3702(98)00105-2","volume":"107","author":"C. Bessi\u00e8re","year":"1999","unstructured":"Bessi\u00e8re C, E.C. Freuder, and J.C. Regin, \u201cUsing constraint metaknowledge to reduce arc-consistency computation\u201d, Artificial Intelligence, Vol. 107, pp. 125\u2013148, 1999.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"33_CR4","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0004-3702(95)00107-7","volume":"79","author":"P.G. Jeavons","year":"1995","unstructured":"Jeavons P.G., and M.C. Cooper, \u201cTractable constraints on ordered domains\u201d, Artificial Intelligence, Vol. 79, No. 2, pp. 327\u2013339, 1995.","journal-title":"Artificial Intelligence"},{"key":"33_CR5","first-page":"245","volume":"54","author":"B. Jonsson","year":"1988","unstructured":"Jonsson B., \u201cThe Theory of Binary Relations\u201c, Colloq. Math. Soc. Janos Bolyai, Budapest, Hungary, Algebraic Logic (North Holland), Vol. 54, pp. 245\u2013292, 1988.","journal-title":"Colloq. Math. Soc. Janos Bolyai, Budapest, Hungary, Algebraic Logic (North Holland)"},{"key":"33_CR6","unstructured":"Laburthe F., \u201cChoco: implementing a CP kernel\u201d, Workshop on Techniques for Implementing Constraint programming Systems (TRICS-2000), 6th Int. Conf. on Principles and Practice of Constraint Programming (CP-2000), Singapore, 2000."},{"key":"33_CR7","unstructured":"Puget J.F., and M. Leconte, \u201cBeyond the glass box: constraints as objects\u201d, in Proc. of International Logic Programming Symposium (ILPS\u201995), Portland, pp. 513\u2013527, 1995."},{"key":"33_CR8","unstructured":"Savean P., \u201cConstraint Reduction at the Type Level\u201d, Workshop TRICS-2000, 6th Int. Conf. on Principles and Practice of Constraint Programming (CP-2000), Singapore, 2000."},{"key":"33_CR9","unstructured":"Van Beek P., \u201cOn the minimality and decomposability of constraint networks\u201d, in Proc. of 10th National Conference on Artificial Intelligence (AAAI-92), pp. 447\u2013452, 1992."},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Hentenryck Van","year":"1992","unstructured":"Van Hentenryck P., Y. Deville, and C. Teng, \u201cA generic arc-consistency algorithm and its specializations\u201d, Artificial Intelligence, Vol. 57, pp. 291\u2013321, 1992.","journal-title":"Artificial Intelligence"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Voudouris C, R. Dome, D. Lesaint, and A. Liret, \u201ciOpt: a software toolkit for Heuristic Search methods\u201d, in Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP-2001), Paphos, Cyprus, pp. 716\u2013719, 2001.","DOI":"10.1007\/3-540-45578-7_58"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T17:15:55Z","timestamp":1550337355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}