Branching Programs and Binary Decision Diagrams: Theory and Applications 论文
1987引用 312
Machine Learning and AlgorithmsMachine Learning and Data ClassificationEvolutionary Algorithms and Applications
详细信息
- 发表日期
- 1987-01-01
- 发表年份
- 1987
关键词
Machine Learning and AlgorithmsMachine Learning and Data ClassificationEvolutionary Algorithms and Applications
摘要
Preface Introduction 1. Introduction 2. BPs and Decision Trees (DTs) 3. Ordered Binary Decision Diagrams (OBDDs) 4. The OBDD Size of Selected Functions 5. The Variable-Ordering Problem 6. Free BDDs (FBDDs) and Read-Once BPs 7. BDDs with Repeated Tests 8. Decision Diagrams (DDs) Based on Other Decomposition Rules 9. Integer-Valued DDs 10. Nondeterministic DDs 11. Randomized BDDs and Algorithms 12. Summary of the Theoretical Results 13. Applications in Verification and Model Checking 14. Further CAD Applications 15. Application in Optimization, Counting, and Genetic Programming Bibliography Index.