{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T16:57:14Z","timestamp":1764349034551},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2005,6]]},"DOI":"10.1007\/s10898-004-2705-8","type":"journal-article","created":{"date-parts":[[2005,9,24]],"date-time":"2005-09-24T12:20:25Z","timestamp":1127564425000},"page":"259-280","source":"Crossref","is-referenced-by-count":28,"title":["Accelerating Branch-and-Bound through a Modeling Language Construct for Relaxation-Specific Constraints"],"prefix":"10.1007","volume":"32","author":[{"given":"Nikolaos V.","family":"Sahinidis","sequence":"first","affiliation":[]},{"given":"Mohit","family":"Tawarmalani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2705_CR1","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/s10107-003-0475-6","volume":"100","author":"S Ahmed","year":"2004","journal-title":"Mathematical Programming."},{"key":"2705_CR2","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF01582066","volume":"63","author":"A Ben-Tal","year":"1994","journal-title":"Mathematical Programming"},{"key":"2705_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0121223","volume":"20","author":"J. Bisschop","year":"1982","journal-title":"Mathematical Programming Study"},{"key":"2705_CR4","volume-title":"Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 35","year":"1997"},{"key":"2705_CR5","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1287\/mnsc.15.9.550","volume":"15","author":"J.E. Falk","year":"1969","journal-title":"Management Science"},{"key":"2705_CR6","volume-title":"AMPL: A Modeling Language for Mathematical Programming","author":"R Fourer","year":"1993"},{"key":"2705_CR7","unstructured":"Gau, T., Schrage, L.E. (2003). Implementing a global solver in a general purpose callable library, Global Optimization Theory Institute, Argonne National Laboratory, September 8\u201310"},{"key":"2705_CR8","volume-title":"Design and Development of a Global Optimization System. Master\u2019s thesis","author":"V. Ghildyal","year":"1997"},{"key":"2705_CR9","doi-asserted-by":"crossref","unstructured":"Ghildyal V., Sahinidis N.V. (2001). Solving global optimization problems with BARON. In: Migdalas A, Pardalos P., Varbrand P. (ed). From Local to Global Optimization, A Workshop on the Occasion of the 70th Birthday of Professor Hoang Tuy, Link\u00f6ping, Sweden, Aug. 24\u201329, 1997, Kluwer Academic Publishers, Boston, MA pp. 205\u2013230","DOI":"10.1007\/978-1-4757-5284-7_10"},{"key":"2705_CR10","doi-asserted-by":"crossref","unstructured":"Gu J, Purdom P.W., Franco J., Wah B.W. (1997). Algorithms for the satisfiability (SAT) problem: A survey. In: Du D, Gu J., Pardalos P.M. (ed). Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 35. Providence RI, pp. 19\u2013151","DOI":"10.1090\/dimacs\/035\/02"},{"key":"2705_CR11","unstructured":"Hoos, H.H., St\u00fctzle, T. (2000). SATLIB: An Online Resource for Research on SAT. In: Gent I.P., van Maaren, H., Walsh, T. (eds.). Satisfiability Problem: Theory and Applications, IOS Press, Amsterdam, pp. 283\u2013292. SATLIB is available online at http:\/\/www.satlib.org\/"},{"key":"2705_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03199-5","volume-title":"Global Optimization, Deterministic Approaches","author":"R. Horst","year":"1996","edition":"3"},{"key":"2705_CR13","unstructured":"Kearfott R.B. (1996). Rigorous Global Search: Continuous Problems, In: Nonconvex Optimization and Its Applications, Vol. 13. Kluwer Academic Publishers, Dordrecht"},{"key":"2705_CR14","unstructured":"McCormick, G.P. (1972). Converting general nonlinear programming problems to separable nonlinear programming problems. Technical Report T-267, The George Washington University, Washington, D.C"},{"key":"2705_CR15","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01580665","volume":"10","author":"G.P. McCormick","year":"1976","journal-title":"Mathematical Programming"},{"key":"2705_CR16","unstructured":"McCormick G.P. (1983). Nonlinear Programming: Theory, Algorithms and Applications, John Wiley & Sons"},{"key":"2705_CR17","volume-title":"Interval Analysis","author":"R. Moore","year":"1993"},{"issue":"12","key":"2705_CR18","doi-asserted-by":"crossref","first-page":"1219","DOI":"10.1016\/0098-1354(94)00123-5","volume":"19","author":"I. Quesada","year":"1995","journal-title":"Computers and Chemical Engineering"},{"key":"2705_CR19","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1016\/0098-1354(94)00097-2","volume":"19","author":"H.S. Ryoo","year":"1995","journal-title":"Computers and Chemical Engineering"},{"key":"2705_CR20","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF00138689","volume":"8","author":"H.S. Ryoo","year":"1996","journal-title":"Journal of Global Optimization"},{"key":"2705_CR21","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF00138693","volume":"8","author":"N.V. Sahinidis","year":"1996","journal-title":"Journal of Global Optimization"},{"key":"2705_CR22","first-page":"1","volume-title":"Global Optimization and Constraint Satisfaction, Lecture Notes in Computer Science Vol. 2861.","author":"N.V. Sahinidis","year":"2003"},{"key":"2705_CR23","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1023\/A:1013115708967","volume":"104","author":"H Schichl","year":"2001","journal-title":"Annals of Operations Research"},{"key":"2705_CR24","unstructured":"Schweiger, C.A., Floudas, C.A. (1998). MINOPT: A Modeling Language and Algorithmic Framework for Linear, Mixed-Integer, Nonlinear, Dynamic, and Mixed-Integer Nonlinear Optimization, Version 3.1, User\u2019s Manual\u2019. Available at http:\/\/titan.princeton.edu\/MINOPT\/minopt.html."},{"key":"2705_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1008241411395","volume":"12","author":"J.P. Shectman","year":"1998","journal-title":"Journal of Global Optimization"},{"key":"2705_CR26","doi-asserted-by":"crossref","unstructured":"Sherali H.D., Adams, W.P. (1999). A Reformulation\u2013Linearization Technique for Solving Discrete and Continuous Nonconvex Problems, In: Nonconvex Optimization and its Applications, Vol. 3.1 Kluwer Academic Publishers, Dordrecht","DOI":"10.1007\/978-1-4757-4388-3"},{"key":"2705_CR27","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1287\/opre.46.3.396","volume":"46","author":"H.D. Sherali","year":"1999","journal-title":"Operations Research"},{"key":"2705_CR28","doi-asserted-by":"crossref","first-page":"1396","DOI":"10.1287\/mnsc.47.10.1396.10265","volume":"47","author":"H.D. Sherali","year":"2001","journal-title":"Management Science"},{"key":"2705_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01100203","volume":"7","author":"H.D. Sherali","year":"1995","journal-title":"Journal of Global Optimization"},{"key":"2705_CR30","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/PL00011409","volume":"89","author":"H.D. Sherali","year":"2001","journal-title":"Mathematical Programming"},{"key":"2705_CR31","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"},{"key":"2705_CR32","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1011233805045","volume":"20","author":"M. Tawarmalani","year":"2001","journal-title":"Journal of Global Optimization"},{"key":"2705_CR33","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s10107-002-0308-z","volume":"93","author":"M. Tawarmalani","year":"2002","journal-title":"Mathematical Programming"},{"key":"2705_CR34","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, Vol. 65 of Nonconvex Optimization and Its Applications","author":"M. Tawarmalani","year":"2002"},{"key":"2705_CR35","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/s10107-003-0467-6","volume":"99","author":"M. Tawarmalani","year":"2004","journal-title":"Mathematical Programming."},{"key":"2705_CR36","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: A Modeling Language for Global Optimization","author":"P Van Hentenryck","year":"1997"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-004-2705-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-004-2705-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-004-2705-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T21:59:04Z","timestamp":1586469544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-004-2705-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["2705"],"URL":"https:\/\/doi.org\/10.1007\/s10898-004-2705-8","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}