Couenne swMATH ID: 4347 Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas Description: Branching and bounds tightening techniques for non-connvex MINLP. Many industrial problems can be naturally formulated using mixed integer non-linear programming (MINLP) models and can be solved by spatial Branch& Bound (sBB) techniques. We study the impact of two important parts of sBB methods: bounds tightening (BT) and branching strategies. We extend a branching technique originally developed for MILP, reliability branching, to the MINLP case. Motivated by the demand for open-source solvers for real-world MINLP problems, we have developed an sBB software package named couenne (Convex Over- and Under-ENvelopes for Non-linear Estimation) and used it for extensive tests on several combinations of BT and branching techniques on a set of publicly available and real-world MINLP instances. We also compare the performance of couenne with a state-of-the-art MINLP solver. Homepage: https://projects.coin-or.org/Couenne Keywords: mixed-integer non-linear programming; Couenne; branching rules; bounds tightening Related Software: BARON; CPLEX; Bonmin; Ipopt; SCIP; GAMS; LINDO; Gurobi; ANTIGONE; MINLPLib; AMPL; LINDOGlobal; GloMIQO; COIN-OR; SNOPT; FilMINT; Cbc; Matlab; QuadProgBB; FEASPUMP Cited in: 73 Publications all top 5 Cited by 161 Authors 5 Belotti, Pietro 4 Lee, Jon 4 Leyffer, Sven 4 Margot, François 3 Araya, Ignacio J. 3 Linderoth, Jeff T. 3 Nannicini, Giacomo 3 Newman, Alexandra M. 3 Sahinidis, Nikolaos V. 3 Ucha-Enríquez, José María 2 Andrade, Tiago 2 Berthold, Timo 2 Buchheim, Christoph 2 Burer, Samuel 2 De Santis, Marianna 2 Eberhard, Andrew C. 2 Elloumi, Sourour 2 Gleixner, Ambros M. 2 Hamacher, Silvio 2 Jiménez Cobano, José Manuel 2 Kirches, Christian 2 Lambert, Amélie 2 Lehmann, Thomas 2 Lejeune, Miguel A. 2 Liberti, Leo 2 Palagi, Laura 2 Reyes, Victor 2 Scioletti, Michael S. 2 Trombettoni, Gilles 2 Wächter, Andreas 2 Weltge, Stefan 2 Wiegele, Angelika 2 Zolan, Alexander J. 2 Zorn, Keith 1 Achterberg, Tobias 1 Ahmed, Shabbir 1 Atamtürk, Alper 1 Azad, Md. Abul Kalam 1 Bao, Xiaowei 1 Barth, Carola M. 1 Barton, Paul I. 1 Beck, J. Christopher 1 Becker, Stephen R. 1 Bellahcene, Fatima 1 Belyak, Nikita 1 Ben Sassi, Mohamed Amin 1 Bent, Russell W. 1 Billionnet, Alain 1 Braun, Robert J. 1 Briant, Olivier 1 Carrizosa, Emilio 1 Cassioli, Andrea 1 Chabert, Gilles 1 Chen, Jieqiu 1 Cheon, Myun-Seok 1 Claeys, Mathieu 1 Clochard, Jean-Maurice 1 Coffrin, Carleton 1 Coletta, Remi 1 Consolini, Luca 1 Dalkiran, Evrim 1 Dey, Santanu Subhas 1 Diedam, Holger 1 Domes, Ferenc 1 Eck, Bradley J. 1 Engelhart, Michael 1 Exler, Oliver 1 Fampa, Marcia Helena C. 1 Fernandes, Edite M. G. P. 1 Floudas, Christodoulos Achilleus 1 Fügenschuh, Armin R. 1 Funke, Joachim 1 Gago-Vargas, Jesús 1 Gassmann, Horand I. 1 Gentilini, Iacopo 1 Ghaddar, Bissan 1 Goodman, Johanna K. 1 Grani, Giorgio 1 Gronski, Jessica A. 1 Guerrero, Vanesa 1 Gupte, Akshay 1 Hackebeil, Gabriel A. 1 Hart, William E. 1 Hartillo, I. 1 Hartillo, M. I. 1 Hijazi, Hassan 1 Humpola, Jesco 1 Janes, Pete P. 1 Khajavirad, Aida 1 Khan, Kamil A. 1 Kheirandishfard, Mohsen 1 Kogan, Alexander 1 Kronqvist, Jan 1 Laird, Carl D. 1 Lavaei, Javad 1 Le Thi, Hoai An 1 Litvinchev, Igor S. 1 Locatelli, Marco 1 Longo, Antonella 1 Löschenbrand, Markus ...and 61 more Authors all top 5 Cited in 22 Serials 18 Journal of Global Optimization 11 Mathematical Programming Computation 6 Optimization Methods & Software 4 Computational Optimization and Applications 3 European Journal of Operational Research 3 Mathematical Programming. Series A. Series B 3 SIAM Journal on Optimization 3 INFORMS Journal on Computing 2 Optimization and Engineering 2 EURO Journal on Computational Optimization 1 Operations Research 1 Opsearch 1 Operations Research Letters 1 Computers & Operations Research 1 Formal Methods in System Design 1 Constraints 1 Journal of Industrial and Management Optimization 1 Lecture Notes in Computer Science 1 Mathematics in Computer Science 1 Optimization Letters 1 Operations Research and Decisions 1 Springer Optimization and Its Applications all top 5 Cited in 11 Fields 73 Operations research, mathematical programming (90-XX) 11 Numerical analysis (65-XX) 8 Computer science (68-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Citations by Year