Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks

DOI10.1007/BF02023175zbMath0774.90089MaRDI QIDQ2368099

Ramesh Raman, Ignacio E. Grossmann

Publication date: 23 August 1993

Published in: Annals of Operations Research (Search for Journal in Brave)

zbMATH Keywords

branch-and-boundprocess synthesis

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Mixed integer programming (90C11) Linear programming (90C05) Management decision making, including multiple objectives (90B50)

Related Items (2)

A strategic model for supply chain design with logical constraints: Formulation and solution. ⋮ Mixed logical-linear programming

Uses Software

• SCICONIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modeling and integer programming techniques applied to propositional calculus
• Partitioning procedures for solving mixed-variables programming problems
• Logic cuts for processing networks with fixed charges
• Solving propositional satisfiability problems
• Generalized Benders decomposition
• An outer-approximation algorithm for a class of mixed-integer nonlinear programs
• Pivot and Complement–A Heuristic for 0-1 Programming
• Fixed Order Branch-and-Bound Methods for Mixed-Integer Programming: The <scp>zoom</scp> System
• Solving Mixed Integer Programming Problems Using Automatic Reformulation
• A Computing Procedure for Quantification Theory

This page was built for publication: Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks