BDS: a BDD-based logic optimization system.
Congguang YangMaciej J. CiesielskiPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2002)
Keyphrases
- global optimization
- optimization problems
- optimization algorithm
- data mining
- optimization methods
- logic programming
- modal logic
- optimization process
- optimization method
- logic programs
- neural network
- learning algorithm
- optimization model
- evolution strategy
- optimal design
- logical framework
- classical logic
- optimization strategies
- sound and complete axiomatization