Improved logic optimization using global flow analysis.
C. Leonard BermanLouise TrevillyanPublished in: ICCAD (1988)
Keyphrases
- flow analysis
- information flow
- optimization algorithm
- forensic analysis
- optimization method
- optimization problems
- global optimization
- optimization methods
- discrete optimization
- constrained optimization
- data sets
- modal logic
- particle swarm optimization
- improved algorithm
- automated reasoning
- defeasible logic
- combinatorial optimization
- decision making