{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:35Z","timestamp":1725564875384},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202028"},{"type":"electronic","value":"9783540451938"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45193-8_52","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T19:35:03Z","timestamp":1283974503000},"page":"769-783","source":"Crossref","is-referenced-by-count":3,"title":["Certainty Closure"],"prefix":"10.1007","author":[{"given":"Neil","family":"Yorke-Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen","family":"Gervet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R.: The essence of constraint propagation. TCS\u00a0221(1\u20132) (1999)","DOI":"10.1016\/S0304-3975(99)00032-8"},{"key":"52_CR2","volume-title":"Convex Models of Uncertainty in Applied Mechanics","author":"Y. Ben-Haim","year":"1990","unstructured":"Ben-Haim, Y., Elishakoff, I.: Convex Models of Uncertainty in Applied Mechanics. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"Ben-Tal, A., Nemirovski, A.: Robust convex optimization. Mathematics of Operations Research\u00a023 (1998)","DOI":"10.1287\/moor.23.4.769"},{"key":"52_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45349-0_7","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"F. Benhamou","year":"2000","unstructured":"Benhamou, F., Goualard, F.: Universally quantified interval constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, p. 67. Springer, Heidelberg (2000)"},{"key":"52_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-45578-7_5","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"T. Benoist","year":"2001","unstructured":"Benoist, T., Bourreau, E., Caseau, Y., Rottembourg, B.: Towards stochastic constraint programming: A study of online multi-choice knapsack with deadlines. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, p. 61. Springer, Heidelberg (2001)"},{"key":"52_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Over-Constrained Systems","author":"S. Bistarelli","year":"1996","unstructured":"Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G.: Semiring-based CSPs and valued CSPs: Basic properties and comparison. In: Jampel, M., Maher, M.J., Freuder, E.C. (eds.) CP-WS 1995. LNCS, vol.\u00a01106, Springer, Heidelberg (1996)"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"Chinneck, J.W., Ramadan, K.: Linear programming with interval coefficients. J. Operational Research Society\u00a051(2) (2000)","DOI":"10.1057\/palgrave.jors.2600891"},{"key":"52_CR8","unstructured":"Fargier, H., Lang, J., Schiex, T.: Mixed constraint satisfaction: A framework for decision problems under incomplete knowledge. In: Proc. of AAAI 1996, pp. 175\u2013180 (1996)"},{"key":"52_CR9","unstructured":"Freuder, E., Hubbe, P.: Extracting constraint satisfaction subproblems. In: Proc. of IJCAI 1995, pp. 548\u2013557 (1995)"},{"key":"52_CR10","unstructured":"Gervet, C., Caseau, Y., Montaut, D.: On refining ill-defined constraint problems: A case study in iterative prototyping. In: Proc. of PACLP 1999, pp. 255\u2013275 (1999)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Gervet, C., Rodo\u0161ek, R.: RiskWise-2 problem definition. IC\u2013Parc Internal Report (2000)","DOI":"10.1016\/S0294-3506(00)88149-1"},{"key":"52_CR12","doi-asserted-by":"crossref","unstructured":"Harvey, W.: Computing two-dimensional integer hulls. SIAM J. Computing\u00a028(6) (1999)","DOI":"10.1137\/S009753979528977X"},{"key":"52_CR13","unstructured":"IC\u2013Parc. ECLiPSe User Manual Version 5.6 (June 2003)"},{"key":"52_CR14","doi-asserted-by":"crossref","unstructured":"Le Provost, T., Wallace, M.: Generalized constraint propagation over the CLP scheme. J. Logic Programming\u00a016(3) (1993)","DOI":"10.1016\/0743-1066(93)90047-K"},{"key":"52_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-45470-5_18","volume-title":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation","author":"S. Ratschan","year":"2002","unstructured":"Ratschan, S.: Continuous first-order constraint satisfaction. In: Calmet, J., Benhamou, B., Caprotti, O., H\u00e9nocque, L., Sorge, V. (eds.) AISC 2002 and Calculemus 2002. LNCS (LNAI), vol.\u00a02385, p. 181. Springer, Heidelberg (2002)"},{"key":"52_CR16","unstructured":"Tsamardinos, I.: Constraint-Based Temporal Reasoning Algorithms with Applications to Planning. Ph.D. Thesis, University of Pittsburgh (2001)"},{"key":"52_CR17","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1993)"},{"key":"52_CR18","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Deville, Y., Teng, C.-M.: A generic arc-consistency algorithm and its specializations. Artificial Intelligence\u00a057(2\u20133) (1992)","DOI":"10.1016\/0004-3702(92)90020-X"},{"key":"52_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Constraint Programming: Basics and Trends","author":"P. Hentenryck Van","year":"1994","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, Springer, Heidelberg (1994)"},{"key":"52_CR20","unstructured":"Verfaillie, G.: What kind of planning and scheduling tools for the future autonomous spacecraft? In: Proc. ESA Workshop on On-Board Autonomy (2001)"},{"key":"52_CR21","unstructured":"Walsh, T.: Stochastic constraint programming. In: Proc. of AAAI 2001 Fall Symposium on Using Uncertainty within Computation, pp. 129\u2013135 (2001)"},{"key":"52_CR22","unstructured":"Yorke-Smith, N., Gervet, C.: Data uncertainty in constraint programming: A nonprobabilistic approach. In: Proc. of Using Uncertainty within Computation (2001)"},{"key":"52_CR23","doi-asserted-by":"crossref","unstructured":"Yorke-Smith, N., Guettier, C.: Towards automatic robust planning for the discrete commanding of aerospace equipment. In: Proc. of IEEE ISIC 2003 (October 2003) (to appear)","DOI":"10.1109\/ISIC.2003.1254655"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45193-8_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T03:25:02Z","timestamp":1559618702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45193-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202028","9783540451938"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45193-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}