{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T15:25:35Z","timestamp":1770477935860,"version":"3.49.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2004,7,7]],"date-time":"2004-07-07T00:00:00Z","timestamp":1089158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.1007\/s10107-004-0533-8","type":"journal-article","created":{"date-parts":[[2004,7,7]],"date-time":"2004-07-07T07:56:11Z","timestamp":1089186971000},"page":"495-517","source":"Crossref","is-referenced-by-count":11,"title":["Safe and tight linear estimators for global optimization"],"prefix":"10.1007","volume":"102","author":[{"given":"Glencora","family":"Borradaile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal Van","family":"Hentenryck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,7,7]]},"reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"1137","DOI":"10.1016\/S0098-1354(98)00027-1","volume":"22","author":"Adjiman","year":"1998","unstructured":"Adjiman, C., Dallwig, S., Floudas, C., Neumaier, A.: A global optimization method, ?bb, for general twice-differentiable constrained NLPs - I. theoretical advances. Comput. Chem. Engin. 22, 1137?1158 (1998)","journal-title":"theoretical advances. Comput. Chem. Engin."},{"key":"CR2","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) Revisited. In: Proceedings of the International Symposium on Logic Programming (ILPS-94), Ithaca, NY, Nov. 1994, pp. 124?138"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"Benhamou","year":"1","unstructured":"Benhamou, F., Older, W.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. J. Logic Program. 32 (1), 1?24 (1997) July","journal-title":"J. Logic Program."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Canny, J.: Some algebraic and geometric computations in pspace. In: Proceedings of the 20th Symposium on the Theory of Computation, 1988, pp. 460?467","DOI":"10.1145\/62212.62257"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0377-0427(03)00422-9","volume":"157","author":"Garloff","year":"2003","unstructured":"Garloff, J., Jansson, C., Smith, A.P.: Lower bound functions for polynomials. J. Comput. Appl. Math. 157, 207?225 (2003)","journal-title":"J. Comput. Appl. Math."},{"key":"CR6","unstructured":"Grossmann, I.E., Lee, S.: Generalized convex disjunctive programming: Nonlinear convex hull relaxation. To appear, 2003"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Hentenryck, P.V., McAllister, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM J. Numer. Anal. 34 (2), (1997)","DOI":"10.1137\/S0036142995281504"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Jansson, C.: Rigorous error bounds for the optimal value of linear programming problems. In: Proceedings of the First International Workshop on Global Constrained Optimization and Constraint Satisfaction, COCOS 2002, 2003, pp. 59?70","DOI":"10.1007\/978-3-540-39901-8_5"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/B:JOGO.0000006720.68398.8c","volume":"28","author":"Jansson","year":"1","unstructured":"Jansson, C.: A rigorous lower bound for the optimal value of convex optimization problems. J. Global Optim. 28 (1), 121?137 (2004)","journal-title":"J. Global Optim."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/3-540-46135-3_8","volume":"2470","author":"Lebbah","year":"2002","unstructured":"Lebbah, Y., Rueher, M., Michel, C.: A global filtering algorithm for handling systems of quadratic equations and inequations. Lect. Notes Comput. Sci. 2470, 109?123 (2002)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"1675","DOI":"10.1016\/S0098-1354(01)00732-3","volume":"25","author":"Lee","year":"2001","unstructured":"Lee, S., Grossmann, I.E.: A global optimization algorithm for nonconvex generalized disjunctive programming and applications to process systems. Comput, Chem. Engin. 25, 1675?1697 (2001)","journal-title":"Comput, Chem. Engin."},{"key":"CR12","unstructured":"Lhomme, O.: Consistency Techniques for Numerical Constraint Satisfaction Problems. In: Proceedings of the 1993 International Joint Conference on Artificial Intelligence, Chamberry, France, Aug. 1993"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/BF01580665","volume":"10","author":"McCormick","year":"1976","unstructured":"McCormick, G.P.: Computability of global solutions to factorable nonconvex programs: Part I - convex underestimating problems. Math. Program. 10, 146?175 (1976)","journal-title":"Math. Program."},{"key":"CR14","unstructured":"Michel, C., Lebbah, Y., Rueher, M.: Safe embedding of the simplex algorithm in a CSP framework. In: Proceedings CPAIOR?03, 2003, pp. 210?220"},{"key":"CR15","unstructured":"Neumaier, A., Shcherbina, O.: Safe bounds in linear and mixed-integer programming. To appear"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01106605","volume":"6","author":"Quesada","year":"1995","unstructured":"Quesada, I., Grossmann, I.E.: A global optimization algorithm for linear fractional and bilinear programs. J. Global Optim. 6, 39?76 (1995)","journal-title":"J. Global Optim."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1016\/0098-1354(94)00097-2","volume":"19","author":"Ryoo","year":"1995","unstructured":"Ryoo, H.S., Sahinidis, N.V.: Global optimization of nonconvex NLPs and MINLPs with applications in process design. Comput. Chem. Engin. 19, 551?566 (1995)","journal-title":"Comput. Chem. Engin."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Tawarmalani, M., Sahinidis, N.V.: Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming, vol 65 of Nonconvex Optimization and Its Applications. Kluwer Academic Publishers, 2002","DOI":"10.1007\/978-1-4757-3532-1"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. The MIT Press, Cambridge, MA, USA, 1997","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Zamora, J.M., Grossmann, I.E.: A comprehensive global optimization approach for the synthesis of heat exchanger networks with no stream splits. Comp. Chem. Engin. 21 (70), S65?S (1997)","DOI":"10.1016\/S0098-1354(97)87480-7"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1008312714792","volume":"14","author":"Zamora","year":"1999","unstructured":"Zamora, J.M., Grossmann, I.E.: A branch and contract algorithm for problems with concave univariate, bilinear and linear fractional terms. J. Global Optim. 14, 217?249 (1999)","journal-title":"J. Global Optim."}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-004-0533-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10107-004-0533-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-004-0533-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T13:08:54Z","timestamp":1585832934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10107-004-0533-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,7,7]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["533"],"URL":"https:\/\/doi.org\/10.1007\/s10107-004-0533-8","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,7,7]]}}}