Symbolic integration of logic in mixed-integer linear programming techniques for process synthesis

Partitioning procedures for solving mixed-variables programming problems

J. F. Benders · Numerische Mathematik · 1962 · 3.8K citations

Natural Sciences, Computer Science, Optimization +7

Generalized Benders decomposition

Arthur M. Geoffrion · Journal of Optimization Theory and Applications · 1972 · 2.5K citations

An outer-approximation algorithm for a class of mixed-integer nonlinear programs

Marco A. Durán, Ignacio E. Grossmann · Mathematical Programming · 1986 · 1.4K citations

Natural Sciences, Computer Science, Mathematics +13

Relation between MILP modelling and logical inference for chemical process synthesis

Ramesh Raman, Ignacio E. Grossmann · Computers & Chemical Engineering · 1991 · 284 citations

Engineering, Chemical Engineering, Chemistry +14

Solving Mixed Integer Programming Problems Using Automatic Reformulation

Tony J. Van Roy, Laurence A. Wolsey · Operations Research · 1987 · 272 citations

Natural Sciences, Industrial Engineering, Mathematics +17