{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:28Z","timestamp":1725664348050},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_88","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:38Z","timestamp":1330274258000},"page":"40-50","source":"Crossref","is-referenced-by-count":6,"title":["Global consistency for continuous constraints"],"prefix":"10.1007","author":[{"given":"D.","family":"Haroud","sequence":"first","affiliation":[]},{"given":"B.","family":"Faltings","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Davis E.: \u201cConstraint propagation with interval labels\u201d, Artificial Intelligence 32 (1987)","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Dechter R., Meiri I., Pearl J.: \u201cTemporal constraint networks\u201d, Artificial Intelligence 49(1\u20133) (1990)","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"4_CR3","unstructured":"Dechter R.: \u201cFrom local to global consistency\u201d, Proceedings of the 8th Canadian Conference on AI (1990)"},{"key":"4_CR4","unstructured":"Deville Y., Van Hetenryck P.: \u201cAn efficient arc consistency algorithm for a class of CSP problems\u201d, Proceedings of the 12th International Joint Conference on AI (1991)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Faltings B.: \u201cArc consistency for continuous variables\u201d, Artificial Intelligence 65 (2) (1994)","DOI":"10.1016\/0004-3702(94)90022-1"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Freuder E.C.: \u201cSynthesizing constraint expressions\u201d, Comm. ACM 21 (1978)","DOI":"10.1145\/359642.359654"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Freuder E.C.: \u201cA sufficient condition for backtrack-free search\u201d, J ACM 29 (1982)","DOI":"10.1145\/322290.322292"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Freuder E.C.: \u201cA sufficient condition for backtrack-bounded search\u201d, J. ACM 32 (1985)","DOI":"10.1145\/4221.4225"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Hyv\u00f6nen E.: \u201cConstraint reasoning based on interval arithmetic: the tolerance propagation approach\u201d, Artificial Intelligence 58(1\u20133) (1992)","DOI":"10.1016\/0004-3702(92)90005-I"},{"key":"4_CR10","unstructured":"Lhomme O.: \u201cConsistency techniques for numeric CSPs\u201d, Proceedings of the 13th International Joint Conference on AI (1993)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Mackworth A.: \u201cConsistency in networks of relations\u201d, Artificial Intelligence 8 (1977)","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Montanari U.: \u201cNetworks of constraints: fundamental properties and applications to picture processing\u201d, Inform. Scie. 7 (1974)","DOI":"10.1016\/0020-0255(74)90008-5"},{"key":"4_CR13","unstructured":"Tanimoto T.: \u201cA constraint decomposition method for spatio-temporal configurations problems\u201d, Proceedings of the the 11th National Conference on AI (1993)"},{"key":"4_CR14","unstructured":"Van Beek P.: \u201cApproximation algorithms for temporal reasoning\u201d, Proceedings of the 11th International Joint Conference on AI (1989)"},{"key":"4_CR15","unstructured":"Van Beek P.: \u201cOn the minimality and decomposability of constraint networks\u201d, Proceedings of the 10th National Conference on AI (1992)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_88.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:20Z","timestamp":1605648200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_88","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}