Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks
- 1 December 1993
- journal article
- Published by Springer Nature in Annals of Operations Research
- Vol. 42 (1) , 169-191
- https://doi.org/10.1007/bf02023175
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Logic cuts for processing networks with fixed chargesComputers & Operations Research, 1994
- Integration of logic and heuristic knowledge in MINLP optimization for process synthesisComputers & Chemical Engineering, 1992
- Relation between MILP modelling and logical inference for chemical process synthesisComputers & Chemical Engineering, 1991
- Modeling and integer programming techniques applied to propositional calculusComputers & Operations Research, 1990
- A modelling and decomposition strategy for the minlp optimization of process flowsheetsComputers & Chemical Engineering, 1989
- Solving Mixed Integer Programming Problems Using Automatic ReformulationOperations Research, 1987
- An outer-approximation algorithm for a class of mixed-integer nonlinear programsMathematical Programming, 1986
- An MILP formulation for heat‐integrated distillation sequence synthesisAIChE Journal, 1985
- Generalized Benders decompositionJournal of Optimization Theory and Applications, 1972
- Partitioning procedures for solving mixed-variables programming problemsNumerische Mathematik, 1962