{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:45:06Z","timestamp":1752461106123},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540652243"},{"type":"electronic","value":"9783540494812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49481-2_12","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T14:46:10Z","timestamp":1195915570000},"page":"147-161","source":"Crossref","is-referenced-by-count":13,"title":["A Note on Partial Consistencies over Continuous Domains"],"prefix":"10.1007","author":[{"given":"H\u00e9l\u00e9ne","family":"Collavizza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00c7ois","family":"Delobel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Rueher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"12_CR1","unstructured":"F. Benhamou, D. Mc Allester, and P. Van Hentenryck. CLP(Intervals) Revisited. in Proc. Logic Programming: Proceedings of the 1994 International Symposium, MIT Press, (1994)."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"F. Benhamou and W. Older. Applying interval arithmetic to real, integer and boolean constraints. Journal of Logic Programming, (1997).","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"12_CR3","unstructured":"C. Bliek. Computer Methods for Design Automation. PhD thesis, Massachusetts Institute of Technology, 1992."},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R.P. Brent","year":"1978","unstructured":"R.P. Brent. A FORTRAN multiple-precision arithmetic package ACM Trans. on Math. Software, 4, no 1, 57\u201370, 1978.","journal-title":"ACM Trans. on Math. Software"},{"issue":"2","key":"12_CR5","first-page":"125","volume":"2","author":"J.C. Cleary","year":"1987","unstructured":"J.C. Cleary. Logical arithmetic. Future Computing Systems, 2(2):125\u2013149, 1987.","journal-title":"Future Computing Systems"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/0004-3702(94)90022-1","volume":"65","author":"B. Faltings","year":"1994","unstructured":"B. Faltings. Arc-consistency for continuous variables. Artificial Intelligence, vol. 65, pp. 363\u2013376, 1994.","journal-title":"Artificial Intelligence"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"E. C. Freuder. Synthesizing constraint expressions. Communications of the ACM, 21:958\u2013966, November 1978.","DOI":"10.1145\/359642.359654"},{"key":"12_CR8","unstructured":"L. Granvilliers. On the combination of Box-consistency and Hull-consistency. Workshop \u201cNon binary constraints\u201d, ECAI-98, Brighton, 23\u201328 August 1998."},{"key":"12_CR9","volume-title":"Global optimization using interval analysis","author":"E. Hansen","year":"1992","unstructured":"E. Hansen. Global optimization using interval analysis. Marcel Dekker, NY, 1992."},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF02307383","volume":"53","author":"H. Hong","year":"1994","unstructured":"Hoon Hong and Volker Stahl. Safe starting regions by fixed points and tightening. Computing, 53:323\u2013335, 1994.","journal-title":"Computing"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","volume":"58","author":"E. Hyv\u00f6nen","year":"1992","unstructured":"E. Hyv\u00f6nen. Constraint reasoning based on interval arithmetic: the tolerance propagation approach. Artificial Intelligence, vol. 58, pp. 71\u2013112, 1992.","journal-title":"Artificial Intelligence"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF02307383","volume":"53","author":"H. Hong","year":"1994","unstructured":"H. Hong, V. Stahl. Safe Starting Regions by Fixed Points and Tightening. Computing, vol. 53, pp 323\u2013335, 1994.","journal-title":"Computing"},{"issue":"3\u20134","key":"12_CR13","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(93)90045-I","volume":"16","author":"J. H. M. Lee","year":"1993","unstructured":"J. H. M. Lee and M. H. van Emden. Interval computation as deduction in CHIP. Journal of Logic Programming, 16: 3\u20134, pp. 255\u2013276, 1993.","journal-title":"Journal of Logic Programming"},{"key":"12_CR14","unstructured":"O. Lhomme. Consistency techniques for numeric CSPs. in Proc. IJCAI93, Chambery, (France), pp. 232\u2013238, (August 1993)."},{"key":"12_CR15","volume-title":"PhD Thesis","author":"O. Lhomme","year":"1994","unstructured":"O. Lhomme. Contribution \u00e1 la r\u00e9solution de contraintes sur les r\u00e9els par propagation d\u2019intervalles. PhD Thesis, University of Nice Sophia Antipolis-CNRS, Route des Colles, B.P. 145, 06903 Sophia Antipolis Cedex, France, 1994."},{"issue":"3","key":"12_CR16","first-page":"283","volume":"11","author":"O. Lhomme","year":"1997","unstructured":"O. Lhomme and M. Rueher. Application des techniques CSP au raisonnement sur les intervalles. RIA (Dunod), vol. 11:3, pp. 283\u2013312, 1997.","journal-title":"RIA (Dunod)"},{"issue":"1","key":"12_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. Mackworth","year":"1977","unstructured":"A. Mackworth. Consistency in networks of relations. Artificial Intelligence, vol. 8, no. 1, pp. 99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"12_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Science, 7(2):95\u2013132, 1974.","journal-title":"Information Science"},{"key":"12_CR19","unstructured":"R. Moore, Interval Analysis. Prentice Hall, 1966."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"A. Neumaier. Interval methods for systems of equations. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511526473"},{"key":"12_CR21","unstructured":"W.J. Older and A. Velino. Extending prolog with constraint arithmetic on real intervals. In Proc. of IEEE Canadian conference on Electrical and Computer Engineering. IEEE Computer Society Press, 1990."},{"key":"12_CR22","unstructured":"W. Older and A. Vellino. Constraint arithmetic on real intervals. in Constraint Logic Programming: Selected Research, eds., Fr\u00e9d\u00e9ric Benhamou and Alain Colmerauer. MIT Press, (1993)."},{"key":"12_CR23","volume-title":"PrologIV Constraints inside","author":"Prologia","year":"1996","unstructured":"Prologia PrologIV Constraints inside. Parc technologique de Luminy Case 919 13288 Marseille cedex 09 (France), 1996."},{"issue":"3","key":"12_CR24","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1023\/A:1009939327927","volume":"3","author":"M. Rueher","year":"1997","unstructured":"M. Rueher, C. Solnon. Concurrent Cooperating Solvers within the Reals. Reliable Computing. Kluwer Academic Publishers, Vol. 3:3, pp. 325\u2013333, 1997.","journal-title":"Reliable Computing"},{"key":"12_CR25","unstructured":"E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993."},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, Y. Deville, and L. Michel. Numerica. A modeling language for global optimization. MIT Press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"12_CR27","unstructured":"P. Van Hentenryck, D. McAllester, and D. Kapur. Solving Polynomial Systems Using a Branch and Prune Aprroach. SIAM Journal (forthcomming)."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49481-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T22:05:02Z","timestamp":1557007502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49481-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540652243","9783540494812"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-49481-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}