Combinatorial foundation for logical formulation in process network synthesis

Computers and Chemical Engineering

Volumn 24, Issue 8, 2000, Pages 1859-1864

  Brendel, M H ^a   Friedler, F ^a,b   Fan, L T ^b  

^a UNIVERSITY OF PANNONIA   (Hungary)

^b 129 Seaton Hall   (United States)

Author keywords

Combinatorial axioms; Logical formulation; Process network synthesis

Indexed keywords

ALGORITHMS; CHEMICAL OPERATIONS; FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SYNTHESIS (CHEMICAL);

COMBINATORIAL AXIOMS; CONJUNCTIVE NORMAL FORMS; DISJUNCTIVE NORMAL FORMS; LOGICAL FORMULATION; PROCESS NETWORK SYNTHESIS;

COMBINATORIAL MATHEMATICS;

ARTICLE; PROCESS CONTROL; SYNTHESIS; SYSTEM ANALYSIS;

EID: 0034284389     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0098-1354(00)00569-X     Document Type: Article

References (12)

1. Process network synthesis: Problem definition
2. Graph-theoretic approach to process synthesis: Axioms and theorems
3. Combinatorial algorithms for process synthesis
4. Graph-theoretic approach to process synthesis: Polynomial algorithm for maximal structure generation
5. Decision-mapping: A tool for consistent and complete decisions in process synthesis
6. Algorithmic approach to the integration of total flowsheet synthesis and waste minimization
7. Combinatorially accelerated branch-and-bound method for solving the MILP model of process network synthesis
8. Logic cuts for process networks with fixed charges
9. Relation between MILP modeling and logical inference for chemical process synthesis
10. Symbolic integration of logic in mixed-integer linear programming techniques for process synthesis
11. Modeling and computational techniques for logic based integer programming