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

DOI10.1007/BF02023175MaRDI QIDQ2368099zbMATH OpenFDO

Authors Ramesh Raman, Ignacio E. Grossmann

Publication date 23 August 1993

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

Full work available at URL https://doi.org/10.1007/BF02023175

zbMATH Keywords

branch-and-boundprocess synthesis

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 970371
• scientific article; zbMATH DE number 1058968
• scientific article; zbMATH DE number 970370
• Logic cuts for processing networks with fixed charges
• scientific article; zbMATH DE number 1302169

Cites work

• A Computing Procedure for Quantification Theory
• An outer-approximation algorithm for a class of mixed-integer nonlinear programs
• Fixed Order Branch-and-Bound Methods for Mixed-Integer Programming: The <scp>zoom</scp> System
• Generalized Benders decomposition
• scientific article; zbMATH DE number 3891096 (Why is no real title available?)
• scientific article; zbMATH DE number 193411 (Why is no real title available?)
• scientific article; zbMATH DE number 3804893 (Why is no real title available?)
• Logic cuts for processing networks with fixed charges
• Modeling and integer programming techniques applied to propositional calculus
• Partitioning procedures for solving mixed-variables programming problems
• Pivot and Complement–A Heuristic for 0-1 Programming
• Solving Mixed Integer Programming Problems Using Automatic Reformulation
• Solving propositional satisfiability problems

Cited in

(6)

• Logic cuts for processing networks with fixed charges
• A strategic model for supply chain design with logical constraints: Formulation and solution.
• Mixed logical-linear programming
• scientific article; zbMATH DE number 1058968 (Why is no real title available?)
• scientific article; zbMATH DE number 2158986 (Why is no real title available?)
• scientific article; zbMATH DE number 970371 (Why is no real title available?)

Describes a project that uses

Uses Software

• SCICONIC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2368099)