Post-Layout Logic Restructuring for Performance Optimization.
Yi-Min JiangAngela KrsticKwang-Ting ChengMalgorzata Marek-SadowskaPublished in: DAC (1997)
Keyphrases
- optimization algorithm
- modal logic
- global optimization
- optimization procedure
- constrained optimization
- optimization process
- optimization model
- optimization problems
- combinatorial optimization
- optimization strategies
- classical logic
- automated reasoning
- real time
- logic programming
- description logics
- evolutionary algorithm
- website
- neural network
- databases
- data sets