{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T10:23:52Z","timestamp":1778581432618,"version":"3.51.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,7,20]],"date-time":"2008-07-20T00:00:00Z","timestamp":1216512000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s10601-008-9053-0","type":"journal-article","created":{"date-parts":[[2008,7,19]],"date-time":"2008-07-19T02:52:40Z","timestamp":1216435960000},"page":"117-135","source":"Crossref","is-referenced-by-count":7,"title":["Efficient handling of universally quantified inequalities"],"prefix":"10.1007","volume":"14","author":[{"given":"Alexandre","family":"Goldsztejn","sequence":"first","affiliation":[]},{"given":"Claude","family":"Michel","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Rueher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,20]]},"reference":[{"key":"9053_CR1","doi-asserted-by":"crossref","unstructured":"Benhamou, F., & Goualard, F. (2000). Universally quantified interval constraints. In Proceedings of international conference on principles and practice of constraint programming, LNCS, (Vol. 1894, pp. 67\u201382).","DOI":"10.1007\/3-540-45349-0_7"},{"issue":"4","key":"9053_CR2","doi-asserted-by":"crossref","first-page":"732","DOI":"10.1145\/1024922.1024927","volume":"5","author":"F. Benhamou","year":"2004","unstructured":"Benhamou, F., Goualard, F., Languenou, E., & Christie, M. (2004). Interval constraint solving for camera control and motion planning. ACM Transactions on Computational Logic, 5(4), 732\u2013767.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9053_CR3","unstructured":"Benhamou, F., McAllester, D.\u00a0A., & Van Hentenryck, P. (1994). CLP (intervals) revisited. In SLP (pp. 124\u2013138)."},{"key":"9053_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"6","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F., & Older, W. (1997). Applying interval arithmetic to real, integer and Boolean constraints. Journal of Logic Programming, 6, 1\u201324.","journal-title":"Journal of Logic Programming"},{"key":"9053_CR5","unstructured":"Boerner, F., Bulatov, A., Chen, H., Jeavons, P., & Krokhin, A. (2003). The complexity of constraint satisfaction games and qcsp. In Proc. of computer science logic, LNCS, (Vol. 2803\/2003, pp. 58\u201370)."},{"key":"9053_CR6","unstructured":"Bordeaux, L., Cadoli, M., & Mancini, T. (2005). Csp properties for quantified constraints: Definitions and complexity. In Proc. of amer. conf. on artificial intelligence (AAAI) (pp. 360\u2013365)."},{"key":"9053_CR7","unstructured":"Cleary, J.\u00a0G. (1987). Logical arithmetic. Future Computing Systems (pp. 125\u2013149)."},{"key":"9053_CR8","unstructured":"Collavizza, H., Delobel, F., & Rueher, M. (1999). Extending consistent domains of numeric CSP. In Proceedings of IJCAI 1999."},{"key":"9053_CR9","first-page":"1","volume":"1","author":"H. Collavizza","year":"1999","unstructured":"Collavizza, H., Delobel, F., & Rueher, M. (1999). Comparing partial consistencies. Reliable Computing, 1, 1\u201316.","journal-title":"Reliable Computing"},{"issue":"5","key":"9053_CR10","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/37.872903","volume":"20","author":"P. Dorato","year":"2000","unstructured":"Dorato, P. (2000). Quantified multivariate polynomial inequalities. IEEE Control Systems Magazine, 20(5), 48\u201358.","journal-title":"IEEE Control Systems Magazine"},{"key":"9053_CR11","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1006\/jsco.1997.0120","volume":"24","author":"P. Dorato","year":"1997","unstructured":"Dorato, P., Yang, W., & Abdallah, C. (1997). Robust multi-objective feedback design by quantifier elimination. Journal of Symbolic Computations, 24, 153\u2013159.","journal-title":"Journal of Symbolic Computations"},{"key":"9053_CR12","doi-asserted-by":"crossref","unstructured":"Fiorio, G., Malan, S., Milanese, M., & Taragna, M. (1993). Robust performance design of fixed structure controllers for systems with uncertain parameters. In Proceedings of the 32st IEEE conference on decision and control (Vol. 4, pp. 3029\u20133031).","DOI":"10.1109\/CDC.1993.325757"},{"key":"9053_CR13","doi-asserted-by":"crossref","unstructured":"Goldsztejn, A. (2006) A branch and prune algorithm for the approximation of non-linear AE-solution sets. In SAC \u201906: Proceedings of the 2006 ACM symposium on applied computing (pp. 1650\u20131654).","DOI":"10.1145\/1141277.1141665"},{"key":"9053_CR14","doi-asserted-by":"crossref","unstructured":"Goldsztejn, A., & Jaulin, L. (2006). Inner and outer approximations of existentially quantified equality constraints. In Proceedings of CP 2006, LNCS, (Vol. 4204\/2006, pp. 198\u2013212).","DOI":"10.1007\/11889205_16"},{"key":"9053_CR15","doi-asserted-by":"crossref","unstructured":"Goldsztejn, A., Michel, C., & Rueher, M. (2008). An efficient algorithm for a sharp approximation of universally quantified inequalities. In Proceedings of ACM SAC 2008. Fortaleza, Brazil.","DOI":"10.1145\/1363686.1363724"},{"key":"9053_CR16","doi-asserted-by":"crossref","unstructured":"Goualard, F., & Granvilliers, L. (2005). Controlled propagation in continuous numerical constraint networks. In Proceedings of the 2005 ACM symposium on applied computing (pp. 377\u2013382).","DOI":"10.1145\/1066677.1066765"},{"issue":"6","key":"9053_CR17","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1511\/2003.6.484","volume":"91","author":"B. Hayes","year":"2003","unstructured":"Hayes, B. (2003). A lucid interval. American Scientist, 91(6), 484\u2013488.","journal-title":"American Scientist"},{"key":"9053_CR18","doi-asserted-by":"crossref","unstructured":"Jaulin, L., Braems, I., & Walter, E. (2002). Interval methods for nonlinear identification and robust control. In In Proceedings of the 41st IEEE conference on decision and control (Vol. 4, pp. 4676\u20134681).","DOI":"10.1109\/CDC.2002.1185116"},{"key":"9053_CR19","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., & Walter, E. (2001). Applied interval analysis with examples in parameter and state estimation, robust control and robotics. Springer-Verlag."},{"issue":"8","key":"9053_CR20","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1016\/0005-1098(96)00050-7","volume":"32","author":"L. Jaulin","year":"1996","unstructured":"Jaulin, L., & Walter, E. (1996). Guaranteed tuning, with application to robust control and motion planning. Automomatica, 32(8), 1217\u20131221.","journal-title":"Automomatica"},{"issue":"2","key":"9053_CR21","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1006\/jsco.1997.0119","volume":"24","author":"M. Jirstrand","year":"1997","unstructured":"Jirstrand, M. (1997). Nonlinear control system design by quantifier elimination. Journal of Symbolic Computation, 24(2), 137\u2013152.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"9053_CR22","first-page":"95","volume":"2","author":"R. B. Kearfott","year":"1996","unstructured":"Kearfott, R.\u00a0B. (1996). Interval computations: Introduction, uses, & resources. Euromath Bulletin, 2(1), 95\u2013112.","journal-title":"Euromath Bulletin"},{"key":"9053_CR23","unstructured":"Lhomme, O. (1993). Consistency techniques for numeric CSPs. In Proceedings of IJCAI 1993 (pp.\u00a0232\u2013238)."},{"key":"9053_CR24","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Mackworth, A.\u00a0K. (1977). Consistency in networks of relations. Artificial Intelligence, 8, 99\u2013118.","journal-title":"Artificial Intelligence"},{"issue":"7","key":"9053_CR25","doi-asserted-by":"crossref","first-page":"1363","DOI":"10.1016\/S0005-1098(97)00028-9","volume":"33","author":"S. Malan","year":"1997","unstructured":"Malan, S., Milanese, M., & Taragna, M. (1997). Robust analysis and design of control systems using interval arithmetic. Automatica, 33(7), 1363\u20131372.","journal-title":"Automatica"},{"key":"9053_CR26","volume-title":"Interval methods for systems of equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A. (1990). Interval methods for systems of equations. Cambridge University Press, Cambridge."},{"issue":"1","key":"9053_CR27","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1023\/A:1014785518570","volume":"8","author":"S. Ratschan","year":"2002","unstructured":"Ratschan, S. (2002). Approximate quantified constraint solving by cylindrical box decomposition. Reliable Computing, 8(1), 21\u201342.","journal-title":"Reliable Computing"},{"issue":"4","key":"9053_CR28","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1145\/1183278.1183282","volume":"7","author":"S. Ratschan","year":"2006","unstructured":"Ratschan, S. (2006). Efficient solving of quantified inequality constraints over the real numbers. ACM Transactions on Computational Logic, 7(4), 723\u2013748.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9053_CR29","unstructured":"Ratschan, S. (2008). Applications of quantified constraint solving over the reals bibliography. http:\/\/www.cs.cas.cz\/~ratschan\/appqcs.html ."},{"key":"9053_CR30","doi-asserted-by":"crossref","unstructured":"Vu, X.\u00a0H., Sam-Haroud, D., & Silaghi, M.-C. (2002). Approximation techniques for non-linear problems with continuum of solutions. In Proceedings of the 5th international symposium on abstraction, reformulation and approximation, LNAI (Vol. 2371, pp. 224\u2013241). Springer-Verlag.","DOI":"10.1007\/3-540-45622-8_17"},{"key":"9053_CR31","unstructured":"Vu, X.-H., Silaghi, M., Sam-Haroud, D., & Faltings, B. (2006). Branch-and-prune search strategies for numerical constraint solving. Technical Report LIA-REPORT-2006-007, Swiss Federal Institute of Technology (EPFL)."},{"issue":"3","key":"9053_CR32","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/9.661615","volume":"43","author":"M. Zettler","year":"1998","unstructured":"Zettler, M., & Garloff, J. (1998). Robustness analysis of polynomials with polynomial parameterdependency using bernstein expansion. IEEE Transactions on Automatic Control, 43(3), 425\u2013431.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9053-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-008-9053-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9053-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:14:14Z","timestamp":1559243654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-008-9053-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,20]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9053"],"URL":"https:\/\/doi.org\/10.1007\/s10601-008-9053-0","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,20]]}}}