{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T14:59:01Z","timestamp":1771340341750,"version":"3.50.1"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319232188","type":"print"},{"value":"9783319232195","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23219-5_4","type":"book-chapter","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T10:17:33Z","timestamp":1439374653000},"page":"39-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization"],"prefix":"10.1007","author":[{"given":"Carleton","family":"Coffrin","sequence":"first","affiliation":[]},{"given":"Hassan L.","family":"Hijazi","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,13]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s12532-008-0001-1","volume":"1","author":"T Achterberg","year":"2009","unstructured":"Achterberg, T.: Scip: solving constraint integer programs. Mathematical Programming Computation 1(1), 1\u201341 (2009). http:\/\/dx.doi.org\/10.1007\/s12532-008-0001-1","journal-title":"Mathematical Programming Computation"},{"issue":"67","key":"4_CR2","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/j.ijepes.2007.12.003","volume":"30","author":"X Bai","year":"2008","unstructured":"Bai, X., Wei, H., Fujisawa, K., Wang, Y.: Semidefinite programming for optimal power flow problems. International Journal of Electrical Power & Energy Systems 30(67), 383\u2013392 (2008)","journal-title":"International Journal of Electrical Power & Energy Systems"},{"key":"4_CR3","unstructured":"Belotti, P.: Couenne: User manual (2009). https:\/\/projects.coin-or.org\/Couenne\/ (accessed April 10, 2015)"},{"key":"4_CR4","unstructured":"Belotti, P., Cafieri, S., Lee, J., Liberti, L.: On feasibility based bounds tightening (2012). http:\/\/www.optimization-online.org\/DB_HTML\/2012\/01\/3325.html"},{"issue":"4\u20135","key":"4_CR5","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1080\/10556780903087124","volume":"24","author":"P Belotti","year":"2009","unstructured":"Belotti, P., Lee, J., Liberti, L., Margot, F., Wachter, A.: Branching and bounds tightening techniques for non-convex minlp. Optimization Methods Software 24(4\u20135), 597\u2013634 (2009)","journal-title":"Optimization Methods Software"},{"key":"4_CR6","unstructured":"Benhamou, F., McAllester, D., Van\u00a0Hentenryck, P.: Clp (intervals) revisited.Tech. rep., Brown University, Providence, RI, USA (1994)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bent, R., Coffrin, C., Gumucio, R., Van Hentenryck, P.: Transmission network expansion planning: Bridging the gap between ac heuristics and dc approximations. In: Proceedings of the 18th Power Systems Computation Conference (PSCC 2014), Wroclaw, Poland (2014)","DOI":"10.1109\/PSCC.2014.7038299"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Berthold, T., Heinz, S., Vigerske, S.: Extending a cip framework to solvemiqcps. In: Lee, J., Leyffer, S. (eds.) Mixed Integer Nonlinear Programming. The IMA Volumes in Mathematics and its Applications, vol. 154, pp. 427\u2013444. Springer New York (2012)","DOI":"10.1007\/978-1-4614-1927-3_15"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/TPWRS.2009.2030426","volume":"25","author":"Y Chen","year":"2010","unstructured":"Chen, Y., Luh, P., Guan, C., Zhao, Y., Michel, L., Coolbeth, M., Friedland, P., Rourke, S.: Short-term load forecasting: Similar day-based wavelet neural networks. IEEE Transactions on Power Systems 25(1), 322\u2013330 (2010)","journal-title":"IEEE Transactions on Power Systems"},{"key":"4_CR10","unstructured":"Coffrin, C., Gordon, D., Scott, P.: NESTA, The Nicta Energy System Test Case Archive. CoRR abs\/1411.0359 (2014). http:\/\/arxiv.org\/abs\/1411.0359"},{"key":"4_CR11","unstructured":"Coffrin, C., Hijazi, H., Van Hentenryck, P.: The QC Relaxation: Theoretical and Computational Results on Optimal Power Flow. CoRR abs\/1502.07847 (2015). http:\/\/arxiv.org\/abs\/1502.07847"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Coffrin, C., Van Hentenryck, P.: Transmission system restoration: Co-optimization of repairs, load pickups, and generation dispatch. International Journal of Electrical Power & Energy Systems (2015) (forthcoming)","DOI":"10.1109\/PSCC.2014.7038387"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Farivar, M., Clarke, C., Low, S., Chandy, K.: Inverter var control for distribution systems with renewables. In: 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), pp. 457\u2013462, October 2011","DOI":"10.1109\/SmartGridComm.2011.6102366"},{"issue":"3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"1346","DOI":"10.1109\/TPWRS.2008.922256","volume":"23","author":"E Fisher","year":"2008","unstructured":"Fisher, E., O\u2019Neill, R., Ferris, M.: Optimal transmission switching. IEEE Transactions on Power Systems 23(3), 1346\u20131355 (2008)","journal-title":"IEEE Transactions on Power Systems"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-83724-1_12","volume-title":"Algorithms and Model Formulations in Mathematical Programming","author":"R Fourer","year":"1989","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.: AMPL: a mathematical programming language. In: Wallace, S.W. (ed.) Algorithms and Model Formulations in Mathematical Programming, pp. 150\u2013151. Springer-Verlag New York Inc., New York (1989)"},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"1538","DOI":"10.1109\/TPWRS.2005.854375","volume":"20","author":"Y Fu","year":"2005","unstructured":"Fu, Y., Shahidehpour, M., Li, Z.: Security-constrained unit commitment with ac constraints*. IEEE Transactions on Power Systems 20(3), 1538\u20131550 (2005)","journal-title":"IEEE Transactions on Power Systems"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Hedman, K., Ferris, M., O\u2019Neill, R., Fisher, E., Oren, S.: Co-optimization of generation unit commitment and transmission switching with n-1 reliability. In: 2010 IEEE Power and Energy Society General Meeting, pp. 1\u20131, July 2010","DOI":"10.1109\/PES.2010.5589434"},{"key":"4_CR18","unstructured":"Hijazi, H., Coffrin, C., Van Hentenryck, P.: Convex quadratic relaxations of mixed-integer nonlinear programs in power systems (2013). http:\/\/www.optimization-online.org\/DB_HTML\/2013\/09\/4057.html"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Hijazi, H., Thiebaux, S.: Optimal ac distribution systems reconfiguration. In: Proceedings of the 18th Power Systems Computation Conference (PSCC 2014), Wroclaw, Poland (2014)","DOI":"10.1109\/PSCC.2014.7038420"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1458","DOI":"10.1109\/TPWRS.2006.879234","volume":"21","author":"R Jabr","year":"2006","unstructured":"Jabr, R.: Radial distribution load flow using conic programming. IEEE Transactions on Power Systems 21(3), 1458\u20131459 (2006)","journal-title":"IEEE Transactions on Power Systems"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"2779","DOI":"10.1109\/TPWRS.2012.2228507","volume":"28","author":"R Jabr","year":"2013","unstructured":"Jabr, R.: Optimization of ac transmission system planning. IEEE Transactions on Power Systems 28(3), 2779\u20132787 (2013)","journal-title":"IEEE Transactions on Power Systems"},{"key":"4_CR22","unstructured":"Kundur, P.: Power System Stability and Control. McGraw-Hill Professional (1994)"},{"issue":"1","key":"4_CR23","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/TPWRS.2011.2160974","volume":"27","author":"J Lavaei","year":"2012","unstructured":"Lavaei, J., Low, S.: Zero duality gap in optimal power flow problem. IEEE Transactions on Power Systems 27(1), 92\u2013107 (2012)","journal-title":"IEEE Transactions on Power Systems"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Lehmann, K., Grastien, A., Van Hentenryck, P.: AC-Feasibility on Tree Networks is NP-Hard. IEEE Transactions on Power Systems (2015) (to appear)","DOI":"10.1109\/TPWRS.2015.2407363"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Liberti, L.: Writing global optimization software. In: Liberti, L., Maculan, N. (eds.) Global Optimization, Nonconvex Optimization and Its Applications, vol. 84, pp. 211\u2013262. Springer, US (2006). http:\/\/dx.doi.org\/10.1007\/0-387-30528-9_8","DOI":"10.1007\/0-387-30528-9_8"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Madani, R., Ashraphijuo, M., Lavaei, J.: Promises of conic relaxation for contingency-constrained optimal power flow problem (2014). http:\/\/www.ee.columbia.edu\/ lavaei\/SCOPF_2014.pdf (accessed February 22, 2015)","DOI":"10.1109\/ALLERTON.2014.7028573"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/BF01580665","volume":"10","author":"G McCormick","year":"1976","unstructured":"McCormick, G.: Computability of global solutions to factorable nonconvex programs: Part i convex underestimating problems. Mathematical Programming 10, 146\u2013175 (1976)","journal-title":"Mathematical Programming"},{"key":"4_CR28","unstructured":"Miller, J.: Power system optimization smart grid, demand dispatch, and microgrids, September 2011. http:\/\/www.netl.doe.gov\/smartgrid\/referenceshelf\/presentations\/SE%20Dist%20Apparatus%20School_Final_082911_rev2.pdf (accessed April 22, 2012)"},{"issue":"1","key":"4_CR29","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/59.744492","volume":"14","author":"J Momoh","year":"1999","unstructured":"Momoh, J., Adapa, R., El-Hawary, M.: A review of selected optimal power flow literature to 1993. i. nonlinear and quadratic programming approaches. IEEE Transactions on Power Systems 14(1), 96\u2013104 (1999)","journal-title":"IEEE Transactions on Power Systems"},{"issue":"1","key":"4_CR30","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/59.744495","volume":"14","author":"J Momoh","year":"1999","unstructured":"Momoh, J., El-Hawary, M., Adapa, R.: A review of selected optimal power flow literature to 1993. ii. newton, linear programming and interior point methods. IEEE Transactions on Power Systems 14(1), 105\u2013111 (1999)","journal-title":"IEEE Transactions on Power Systems"},{"issue":"2","key":"4_CR31","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U Montanari","year":"1974","unstructured":"Montanari, U.: Networks of Constraints : Fundamental Properties and Applications to Picture Processing. Information Science 7(2), 95\u2013132 (1974)","journal-title":"Information Science"},{"key":"4_CR32","unstructured":"Ott, A.: Unit commitment in the pjm day-ahead and real-time markets, June 2010. http:\/\/www.ferc.gov\/eventcalendar\/Files\/20100601131610-Ott,%20PJM.pdf (accessed April 22, 2012)"},{"key":"4_CR33","unstructured":"Purchala, K., Meeus, L., Van Dommelen, D., Belmans, R.: Usefulness of DC power flow for active power flow analysis. In: Power Engineering Society General Meeting, pp. 454\u2013459 (2005)"},{"issue":"2","key":"4_CR34","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00138689","volume":"8","author":"H Ryoo","year":"1996","unstructured":"Ryoo, H., Sahinidis, N.: A branch-and-reduce approach to global optimization. Journal of Global Optimization 8(2), 107\u2013138 (1996)","journal-title":"Journal of Global Optimization"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39901-8_1","volume-title":"Global Optimization and Constraint Satisfaction","author":"N Sahinidis","year":"2003","unstructured":"Sahinidis, N.: Global optimization and constraint satisfaction: the branch-and-reduce approach. In: Bliek, C., Jermann, C., Neumaier, A. (eds.) Global Optimization and Constraint Satisfaction. LNCS, vol. 2861, pp. 1\u201316. Springer, Heidelberg (2003)"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1080\/10556789908805762","volume":"11","author":"KC Toh","year":"1999","unstructured":"Toh, K.C., Todd, M., Ttnc, R.H.: Sdpt3 - a matlab software package for semidefinite programming. Optimization Methods and Software 11, 545\u2013581 (1999)","journal-title":"Optimization Methods and Software"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., McAllister, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis 34(2) (1997)","DOI":"10.1137\/S0036142995281504"},{"key":"4_CR38","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","unstructured":"Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: a Modeling Language for Global Optimization. The MIT Press, Cambridge (1997)"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: The design, implementation, and evaluation of the constraint language cc(FD). In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910, pp. 293\u2013316. Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-59155-9_15"},{"key":"4_CR40","unstructured":"Verma, A.: Power grid security analysis: An optimization approach. Ph.D. thesis, Columbia University (2009)"},{"issue":"1","key":"4_CR41","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10107-004-0559-y","volume":"106","author":"A W\u00e4chter","year":"2006","unstructured":"W\u00e4chter, A., Biegler, L.T.: On the implementation of a primal-dual interior point filter line search algorithm for large-scale nonlinear programming. Mathematical Programming 106(1), 25\u201357 (2006)","journal-title":"Mathematical Programming"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23219-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T14:50:45Z","timestamp":1676472645000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23219-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232188","9783319232195"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23219-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}