{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T16:57:55Z","timestamp":1764349075131},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204633"},{"type":"electronic","value":"9783540399018"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39901-8_1","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T14:39:21Z","timestamp":1288017561000},"page":"1-16","source":"Crossref","is-referenced-by-count":21,"title":["Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach"],"prefix":"10.1007","author":[{"given":"Nikolaos V.","family":"Sahinidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"1956","DOI":"10.1021\/ie980666q","volume":"38","author":"N. Adhya","year":"1999","unstructured":"Adhya, N., Tawarmalani, M., Sahinidis, N.V.: A Lagrangian approach to the pooling problem. Industrial & Engineering Chemistry\u00a038, 1956\u20131972 (1999)","journal-title":"Industrial & Engineering Chemistry"},{"key":"1_CR2","unstructured":"Ahmed, S., Tawarmalani, M., Sahinidis, N.V.: A finite branch and bound algorithm for two-stage stochastic integer programs. Mathematical Programming (2000) (submitted)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1287\/moor.8.2.273","volume":"8","author":"F.A. Al-Khayyal","year":"1983","unstructured":"Al-Khayyal, F.A., Falk, J.E.: Jointly constrained biconvex programming. Mathematics of Operations Research\u00a08, 273\u2013286 (1983)","journal-title":"Mathematics of Operations Research"},{"key":"1_CR4","first-page":"221","volume":"71","author":"D.E. Andersen","year":"1995","unstructured":"Andersen, D.E., Andersen, K.D.: Presolving in linear programming. Mathematical Programming\u00a071, 221\u2013245 (1995)","journal-title":"Mathematical Programming"},{"key":"1_CR5","volume-title":"Systematic Methods of Chemical Process Design","author":"L.T. Biegler","year":"1997","unstructured":"Biegler, L.T., Grossmann, I.E., Westerberg, A.W.: Systematic Methods of Chemical Process Design. Prentice Hall, Upper Saddle River (1997)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/0305-0548(94)90024-8","volume":"21","author":"B. Borchers","year":"1994","unstructured":"Borchers, B., Mitchell, J.E.: An improved branch and bound for mixed integer nonlinear programs. Comput. Oper. Res.\u00a021, 359\u2013367 (1994)","journal-title":"Comput. Oper. Res."},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1016\/S0305-0548(97)00002-6","volume":"24","author":"B. Borchers","year":"1997","unstructured":"Borchers, B., Mitchell, J.E.: A computational comparison of branch and bound and outer approximation algorithms for 0-1 mixed integer nonlinear programs. Comput. Oper. Res.\u00a024, 699\u2013701 (1997)","journal-title":"Comput. Oper. Res."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1002\/nav.3800380609","volume":"38","author":"R.E. Burkard","year":"1992","unstructured":"Burkard, R.E., Hamacher, H., Rote, G.: Sandwich approximation of univariate convex functions with an application to separable convex programming. Naval Research Logistics\u00a038, 911\u2013924 (1992)","journal-title":"Naval Research Logistics"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1093\/comjnl\/8.3.250","volume":"8","author":"R.J. Dakin","year":"1965","unstructured":"Dakin, R.J.: A tree search algorithm for mixed integer programming problems. Computer Journal\u00a08, 250\u2013255 (1965)","journal-title":"Computer Journal"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1080\/03052159508941259","volume":"25","author":"M.C. Dorneich","year":"1995","unstructured":"Dorneich, M.C., Sahinidis, N.V.: Global optimization algorithms for chip layout and compaction. Engineering Optimization\u00a025, 131\u2013154 (1995)","journal-title":"Engineering Optimization"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF02592064","volume":"36","author":"M.A. Duran","year":"1986","unstructured":"Duran, M.A., Grossmann, I.E.: An outer-approximation algorithm for a class of mixed-integer nonlinear programs. Mathematical Programming\u00a036, 307\u2013339 (1986)","journal-title":"Mathematical Programming"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1287\/mnsc.15.9.550","volume":"15","author":"J.E. Falk","year":"1969","unstructured":"Falk, J.E., Soland, R.M.: An algorithm for separable nonconvex programming problems. Management Science\u00a015, 550\u2013569 (1969)","journal-title":"Management Science"},{"key":"1_CR13","volume-title":"Deterministic Global Optimization: Theory, Algorithms and Applications","author":"C.A. Floudas","year":"1999","unstructured":"Floudas, C.A.: Deterministic Global Optimization: Theory, Algorithms and Applications. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1533","DOI":"10.1287\/mnsc.31.12.1533","volume":"31","author":"O.K. Gupta","year":"1985","unstructured":"Gupta, O.K., Ravindran, A.: Branch and bound experiments in convex nonlinear integer programming. Management Science\u00a031, 1533\u20131546 (1985)","journal-title":"Management Science"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1080\/00207549608904935","volume":"34","author":"R.A. Gutierrez","year":"1996","unstructured":"Gutierrez, R.A., Sahinidis, N.V.: A branch-and-bound approach for machine selection in just-in-time manufacturing systems. International Journal of Production Research\u00a034, 797\u2013818 (1996)","journal-title":"International Journal of Production Research"},{"key":"1_CR16","doi-asserted-by":"crossref","DOI":"10.1002\/9781118033036","volume-title":"Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction","author":"J. Hooker","year":"2000","unstructured":"Hooker, J.: Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. John Wiley & Sons, New York (2000)"},{"key":"1_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03199-5","volume-title":"Global Optimization: Deterministic Approaches","author":"R. Horst","year":"1996","unstructured":"Horst, R., Tuy, H.: Global Optimization: Deterministic Approaches, 3rd edn. Springer, Berlin (1996)","edition":"3"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/1910129","volume":"28","author":"A.H. Land","year":"1960","unstructured":"Land, A.H., Doig, A.G.: An automatic method for solving discrete programming problems. Econometrica\u00a028, 497\u2013520 (1960)","journal-title":"Econometrica"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/S0377-2217(96)00025-2","volume":"100","author":"M.L. Liu","year":"1997","unstructured":"Liu, M.L., Sahinidis, N.V.: Process planning in a fuzzy environment. European J. Operational Research\u00a0100, 142\u2013169 (1997)","journal-title":"European J. Operational Research"},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-1-4757-5331-8_7","volume-title":"Global Optimization in Engineering Design","author":"M.L. Liu","year":"1996","unstructured":"Liu, M.L., Sahinidis, N.V., Shectman, J.P.: Planning of chemical process networks via global concave minimization. In: Grossmann, I.E. (ed.) Global Optimization in Engineering Design, pp. 195\u2013230. Kluwer Academic Publishers, Boston (1996)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BF01585657","volume":"32","author":"O.L. Mangasarian","year":"1985","unstructured":"Mangasarian, O.L., McLinden, L.: Simple bounds for solutions of monotone complementarity problems and convex programs. Mathematical Programming\u00a032, 32\u201340 (1985)","journal-title":"Mathematical Programming"},{"key":"1_CR22","unstructured":"McCormick, G.P.: Converting general nonlinear programming problems to separable nonlinear programming problems. Technical Report T-267, The George Washington University, Washington D.C (1972)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"G.P. McCormick","year":"1976","unstructured":"McCormick, G.P.: Computability of global solutions to factorable nonconvex programs: Part I-Convex underestimating problems. Mathematical Programming\u00a010, 147\u2013175 (1976)","journal-title":"Mathematical Programming"},{"key":"1_CR24","volume-title":"Nonlinear Programming: Theory, Algorithms and Applications","author":"G.P. McCormick","year":"1983","unstructured":"McCormick, G.P.: Nonlinear Programming: Theory, Algorithms and Applications. John Wiley & Sons, Chichester (1983)"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF02592948","volume":"39","author":"K.G. Murty","year":"1987","unstructured":"Murty, K.G., Kabadi, S.N.: Some NP-complete problems in quadratic and nonlinear programming. Mathematical Programming\u00a039, 117\u2013129 (1987)","journal-title":"Mathematical Programming"},{"key":"1_CR26","unstructured":"Nabar, S.V., Schrage, L.: Formulating and solving business problems as nonlinear integer programs. Technical report, Graduate School of Business, University of Chicago (1992)"},{"key":"1_CR27","series-title":"Series in Discrete Mathematics and Optimization","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume-title":"Integer and Combinatorial Optimization","author":"G.L. Nemhauser","year":"1988","unstructured":"Nemhauser, G.L., Wolsey, L.A.: Integer and Combinatorial Optimization. Series in Discrete Mathematics and Optimization. Wiley Interscience, Hoboken (1988)"},{"key":"1_CR28","series-title":"Princeton Mathematical Series","doi-asserted-by":"crossref","DOI":"10.1515\/9781400873173","volume-title":"Convex Analysis","author":"R.T. Rockafellar","year":"1970","unstructured":"Rockafellar, R.T.: Convex Analysis. Princeton Mathematical Series. Princeton University Press, Princeton (1970)"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF02238642","volume":"48","author":"G. Rote","year":"1992","unstructured":"Rote, G.: The convergence rate of the sandwich algorithm for approximating convex functions. Computing\u00a048, 337\u2013361 (1992)","journal-title":"Computing"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/0098-1354(94)00097-8","volume":"19","author":"H.S. Ryoo","year":"1995","unstructured":"Ryoo, H.S., Sahinidis, N.V.: Global optimization of nonconvex NLPs and MINLPs with applications in process design. Computers & Chemical Engineering\u00a019, 551\u2013566 (1995)","journal-title":"Computers & Chemical Engineering"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00138689","volume":"8","author":"H.S. Ryoo","year":"1996","unstructured":"Ryoo, H.S., Sahinidis, N.V.: A branch-and-reduce approach to global optimization. Journal of Global Optimization\u00a08, 107\u2013139 (1996)","journal-title":"Journal of Global Optimization"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1023\/A:1011295715398","volume":"19","author":"H.S. Ryoo","year":"2001","unstructured":"Ryoo, H.S., Sahinidis, N.V.: Analysis of bounds for multilinear functions. Journal Global Optimization\u00a019, 403\u2013424 (2001)","journal-title":"Journal Global Optimization"},{"key":"1_CR33","unstructured":"Ryoo, H.S., Sahinidis, N.V.: Global optimization of multiplicative programs. Journal of Global Optimization (2002) (accepted)"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF00138693","volume":"8","author":"N.V. Sahinidis","year":"1996","unstructured":"Sahinidis, N.V.: BARON: A general purpose global optimization software package. Journal of Global Optimization\u00a08, 201\u2013205 (1996)","journal-title":"Journal of Global Optimization"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"2157","DOI":"10.1016\/S0098-1354(00)00583-4","volume":"24","author":"N.V. Sahinidis","year":"2000","unstructured":"Sahinidis, N.V., Tawarmalani, M.: Applications of global optimization to process and molecular design. Computers & Chemical Engineering\u00a024, 2157\u20132169 (2000)","journal-title":"Computers & Chemical Engineering"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Sahinidis, N.V., Tawarmalani, M., Yu, M.: Design of alternative refrigerants via global optimization. AIChE J. (2003) (accepted)","DOI":"10.1002\/aic.690490714"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008241411395","volume":"12","author":"J.P. Shectman","year":"1998","unstructured":"Shectman, J.P., Sahinidis, N.V.: A finite algorithm for global minimization of separable concave programs. Journal of Global Optimization\u00a012, 1\u201336 (1998)","journal-title":"Journal of Global Optimization"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/PL00011409","volume":"89","author":"H.D. Sherali","year":"2001","unstructured":"Sherali, H.D., Wang, H.: Global optimization of nonconvex factorable programming problems. Mathematical Programming\u00a089, 459\u2013478 (2001)","journal-title":"Mathematical Programming"},{"key":"1_CR39","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-1-4757-5331-8_12","volume-title":"Global Optimization in Engineering Design","author":"E.M.B. Smith","year":"1996","unstructured":"Smith, E.M.B., Pantelides, C.C.: Global optimisation of general process models. In: Grossmann, I.E. (ed.) Global Optimization in Engineering Design, pp. 355\u2013386. Kluwer Academic Publishers, Boston (1996)"},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1023\/A:1021043227181","volume":"3","author":"M. Tawarmalani","year":"2002","unstructured":"Tawarmalani, M., Ahmed, S., Sahinidis, N.V.: Product disaggregation and relaxations of mixed-integer rational programs. Optimization and Engineering\u00a03, 281\u2013303 (2002)","journal-title":"Optimization and Engineering"},{"key":"1_CR41","unstructured":"Tawarmalani, M., Sahinidis, N.V.: Global optimization of mixed-integer nonlinear programs: A theoretical and computational study. Mathematical Programming (1999) (submitted)"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1011233805045","volume":"20","author":"M. Tawarmalani","year":"2001","unstructured":"Tawarmalani, M., Sahinidis, N.V.: Semidefinite relaxations of fractional programs via novel techniques for constructing convex envelopes of nonlinear functions. Journal of Global Optimization\u00a020, 137\u2013158 (2001)","journal-title":"Journal of Global Optimization"},{"key":"1_CR43","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10107-002-0308-z","volume":"93","author":"M. Tawarmalani","year":"2002","unstructured":"Tawarmalani, M., Sahinidis, N.V.: Convex extensions and convex envelopes of l.s.c. functions. Mathematical Programming\u00a093, 247\u2013263 (2002)","journal-title":"Mathematical Programming"},{"key":"1_CR44","series-title":"Nonconvex Optimization and Its Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3532-1","volume-title":"Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications","author":"M. Tawarmalani","year":"2002","unstructured":"Tawarmalani, M., Sahinidis, N.V.: Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications. Nonconvex Optimization and Its Applications, vol.\u00a065. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"1_CR45","first-page":"48","volume":"107","author":"L.-W. Tsai","year":"1985","unstructured":"Tsai, L.-W., Morgan, A.P.: Solving the kinematics of the most general sixand five-degree-of-freedom manipulators by continuation methods. ASME J. of Mechanisms, Transmissions and Automation in Design\u00a0107, 48\u201357 (1985)","journal-title":"ASME J. of Mechanisms, Transmissions and Automation in Design"},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1008312714792","volume":"14","author":"J.M. 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. Journal of Global Optimization\u00a014, 217\u2013249 (1999)","journal-title":"Journal of Global Optimization"}],"container-title":["Lecture Notes in Computer Science","Global Optimization and Constraint Satisfaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39901-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,31]],"date-time":"2024-03-31T19:30:13Z","timestamp":1711913413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39901-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204633","9783540399018"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39901-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}