{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T00:41:39Z","timestamp":1777423299265,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,5,10]],"date-time":"2017-05-10T00:00:00Z","timestamp":1494374400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/EEI-CTP\/1403\/2012"],"award-info":[{"award-number":["PTDC\/EEI-CTP\/1403\/2012"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s10898-017-0529-6","type":"journal-article","created":{"date-parts":[[2017,5,10]],"date-time":"2017-05-10T12:20:15Z","timestamp":1494418815000},"page":"461-484","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A certified Branch & Bound approach for reliability-based optimization problems"],"prefix":"10.1007","volume":"69","author":[{"given":"Benjamin","family":"Martin","sequence":"first","affiliation":[]},{"given":"Marco","family":"Correia","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Cruz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,10]]},"reference":[{"issue":"2","key":"529_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s00158-009-0412-2","volume":"41","author":"Y Aoues","year":"2010","unstructured":"Aoues, Y., Chateauneuf, A.: Benchmark study of numerical methods for reliability-based design optimization. Struct. Multidiscipl. Optim. 41(2), 277\u2013294 (2010)","journal-title":"Struct. Multidiscipl. Optim."},{"key":"529_CR2","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising hull and box consistency. In: International Conference on Logic Programming, pp. 230\u2013244. MIT press (1999)"},{"key":"529_CR3","unstructured":"Benhamou, F., McAllister, D., Van Hentenryck, P.: CLP (Intervals) revisited. In: International Symposium on Logic Programming, pp. 124\u2013138 (1994)"},{"key":"529_CR4","unstructured":"Carvalho, E.: Probabilistic Constraint Reasoning. Ph.D. Thesis, Universidade Nova de Lisboa (2012)"},{"key":"529_CR5","first-page":"2269","volume-title":"Safety and Reliability: Methodology and Applications","author":"E Carvalho","year":"2015","unstructured":"Carvalho, E., Cruz, J., Barahona, P.: Safe reliability assessment through probabilistic constraint reasoning. In: Nowakowski, T., et al. (eds.) Safety and Reliability: Methodology and Applications, pp. 2269\u20132277. CRC Press, Boca Raton (2015)"},{"issue":"21","key":"529_CR6","doi-asserted-by":"crossref","first-page":"1353","DOI":"10.1016\/j.compstruc.2006.03.006","volume":"84","author":"G Cheng","year":"2006","unstructured":"Cheng, G., Xu, L., Jiang, L.: A sequential approximate programming strategy for reliability-based structural optimization. Comput. Struct. 84(21), 1353\u20131367 (2006)","journal-title":"Comput. Struct."},{"issue":"5","key":"529_CR7","doi-asserted-by":"crossref","first-page":"1054","DOI":"10.1109\/TEVC.2009.2014361","volume":"13","author":"K Deb","year":"2009","unstructured":"Deb, K., Gupta, S., Daum, D., Branke, J., Mall, A.K., Padmanabhan, D.: Reliability-based optimization using evolutionary algorithms. IEEE Trans. Evol. Comput. 13(5), 1054\u20131074 (2009)","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"3","key":"529_CR8","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0167-4730(94)90039-6","volume":"15","author":"I Enevoldsen","year":"1994","unstructured":"Enevoldsen, I., S\u00f8rensen, J.D.: Reliability-based optimization in structural engineering. Struct. Saf. 15(3), 169\u2013196 (1994)","journal-title":"Struct. Saf."},{"key":"529_CR9","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/j.cam.2013.08.035","volume":"260","author":"A Goldsztejn","year":"2014","unstructured":"Goldsztejn, A., Cruz, J., Carvalho, E.: Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities. J. Comput. Appl. Math. 260, 543\u2013560 (2014)","journal-title":"J. Comput. Appl. Math."},{"key":"529_CR10","volume-title":"GAOL 3.1.1: Not Just Another Interval Arithmetic Library","author":"F Goualard","year":"2006","unstructured":"Goualard, F.: GAOL 3.1.1: Not Just Another Interval Arithmetic Library, 4.0th edn. Laboratoire d\u2019Informatique de Nantes-Atlantique, Nantes (2006)","edition":"4.0"},{"issue":"1","key":"529_CR11","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw. 32(1), 138\u2013156 (2006)","journal-title":"ACM Trans. Math. Softw."},{"key":"529_CR12","doi-asserted-by":"crossref","DOI":"10.1201\/9780203026922","volume-title":"Global Optimization Using Interval Analysis\u2014Revised and Expanded","author":"E Hansen","year":"2003","unstructured":"Hansen, E., Walster, G.W.: Global Optimization Using Interval Analysis\u2014Revised and Expanded. CRC Press, Boca Raton (2003)"},{"key":"529_CR13","volume-title":"Applied Interval Analysis with Examples in Parameter and State Estimation, Robust Control and Robotics","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis with Examples in Parameter and State Estimation, Robust Control and Robotics. Springer, Berlin (2001)"},{"issue":"1","key":"529_CR14","first-page":"95","volume":"2","author":"RB Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Interval computations: introduction, uses, and resources. Euromath Bull. 2(1), 95\u2013112 (1996)","journal-title":"Euromath Bull."},{"key":"529_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"RB Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht (1996)"},{"issue":"3","key":"529_CR16","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF01194859","volume":"46","author":"N Kuschel","year":"1997","unstructured":"Kuschel, N., Rackwitz, R.: Two basic problems in reliability-based structural optimization. Math. Methods Oper. Res. 46(3), 309\u2013333 (1997)","journal-title":"Math. Methods Oper. Res."},{"key":"529_CR17","unstructured":"Lhomme, O.: Consistency techniques for numeric CSPs. In: International Joint Conference on Artificial Intelligence, pp. 232\u2013238 (1993)"},{"issue":"4","key":"529_CR18","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/S0098-1354(96)00282-7","volume":"21","author":"CD Maranas","year":"1997","unstructured":"Maranas, C.D., Floudas, C.A.: Global optimization in generalized geometric programming. Comput. Chem. Eng. 21(4), 351\u2013369 (1997)","journal-title":"Comput. Chem. Eng."},{"issue":"6","key":"529_CR19","doi-asserted-by":"crossref","first-page":"3373","DOI":"10.1137\/130906544","volume":"51","author":"B Martin","year":"2013","unstructured":"Martin, B., Goldsztejn, A., Granvilliers, L., Jermann, C.: Certified parallelotope continuation for one-manifolds. SIAM J. Numer. Anal. 51(6), 3373\u20133401 (2013)","journal-title":"SIAM J. Numer. Anal."},{"key":"529_CR20","volume-title":"Interval Analysis","author":"R Moore","year":"1966","unstructured":"Moore, R.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"529_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526473","volume-title":"Interval Methods for Systems of Equations","author":"A Neumaier","year":"1991","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1991)"},{"key":"529_CR22","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1017\/S0962492904000194","volume":"13","author":"A Neumaier","year":"2004","unstructured":"Neumaier, A.: Complete search in continuous global optimization and constraint satisfaction. Acta Numer. 13, 271\u2013369 (2004)","journal-title":"Acta Numer."},{"key":"529_CR23","unstructured":"Oliemann, N.J.: Methods for robustness programming. Ph.D. Thesis, Wageningen University (2008)"},{"issue":"3","key":"529_CR24","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s00158-007-0133-3","volume":"35","author":"S Rahman","year":"2008","unstructured":"Rahman, S., Wei, D.: Design sensitivity and reliability-based structural optimization by univariate decomposition. Struct. Multidiscipl. Optim. 35(3), 245\u2013261 (2008)","journal-title":"Struct. Multidiscipl. Optim."},{"key":"529_CR25","doi-asserted-by":"crossref","unstructured":"Trombettoni, G., Araya, I., Neveu, B., Chabert, G.: Inner regions and interval linearizations for global optimization. In: AAAI Conference on Artificial Intelligence (2011)","DOI":"10.1609\/aaai.v25i1.7817"},{"issue":"5","key":"529_CR26","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/s00158-010-0518-6","volume":"42","author":"MA Valdebenito","year":"2010","unstructured":"Valdebenito, M.A., Schuller, G.I.: A survey on approaches for reliability-based optimization. Struct. Multidiscipl. Optim. 42(5), 645\u2013663 (2010)","journal-title":"Struct. Multidiscipl. Optim."},{"key":"529_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: A Modeling Language for Global Optimization","author":"P Hentenryck Van","year":"1997","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: A Modeling Language for Global Optimization. MIT press, Cambridge (1997)"},{"issue":"3\u20134","key":"529_CR28","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/s00158-003-0345-0","volume":"26","author":"BD Youn","year":"2004","unstructured":"Youn, B.D., Choi, K.K., Yang, R.-J., Gu, L.: Reliability-based design optimization for crashworthiness of vehicle side impact. Struct. Multidiscipl. Optim. 26(3\u20134), 272\u2013283 (2004)","journal-title":"Struct. Multidiscipl. Optim."},{"issue":"3","key":"529_CR29","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1243\/095440805X8566","volume":"219","author":"YM Zhang","year":"2005","unstructured":"Zhang, Y.M., He, X.D., Liu, Q.L., Wen, B.C.: An approach of robust reliability design for mechanical components. Proc. Inst. Mech. Eng. Part E J. Process Mech. Eng. 219(3), 275\u2013283 (2005)","journal-title":"Proc. Inst. Mech. Eng. Part E J. Process Mech. Eng."}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-017-0529-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-017-0529-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-017-0529-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T14:03:35Z","timestamp":1692799415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-017-0529-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,10]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["529"],"URL":"https:\/\/doi.org\/10.1007\/s10898-017-0529-6","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,10]]}}}