Sequential logic optimization by redundancy addition and removal.
Luis EntrenaKwang-Ting ChengPublished in: ICCAD (1993)
Keyphrases
- optimization problems
- optimization algorithm
- global optimization
- database
- bayesian networks
- constrained optimization
- optimization methods
- optimization method
- information retrieval
- predicate logic
- cost function
- multi objective
- hidden markov models
- modal logic
- information content
- optimization process
- association rules
- evolution strategy
- classical logic
- knowledge base
- proof theory