Scalable don't-care-based logic optimization and resynthesis.
Alan MishchenkoRobert K. BraytonJie-Hong R. JiangStephen JangPublished in: ACM Trans. Reconfigurable Technol. Syst. (2011)
Keyphrases
- long term
- optimization method
- optimization process
- logic programming
- information retrieval
- constrained optimization
- modal logic
- global optimization
- optimization algorithm
- bayesian networks
- artificial intelligence
- genetic algorithm
- real time
- optimization problems
- simulated annealing
- optimal solution
- logical framework
- discrete optimization
- optimization strategies