方法证据记录
Binary Decision Diagram
Binary Decision Diagrams (BDDs) are a canonical, memory-efficient representation of Boolean functions developed by Randal Bryant in 1986. A BDD is a directed acyclic graph encoding all variable assignments and results; reduced BDDs are unique for each function and enable efficient manipulation of combinatorial logic in model checking, circuit design, and symbolic computation.
源记录
引文逐字复制自方法源记录。这些引文不代表任何层级的验证。
Binary Decision Diagram (BDD)
分类方法记录 · ml-model / numerical-methods
- Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677–691. · DOI 10.1109/TC.1986.1676819
- Andersen, H. R. (1997). An introduction to binary decision diagrams. Technical Report, IT University of Copenhagen. · URL
- Becker, B., & Drechsler, R. (1998). Binary Decision Diagrams: Theory and Implementation. Kluwer. · ISBN 0792380185
精选声明
声明已持久化到证据分类账中，每个声明都有自己的评估。
尚无精选声明
当分类账中没有声明时，此视图不会自行创建声明评估。
相关方法
从方法图中生成，显示为机器建议的关系 — 不推断任何证据声明。
尚无相关方法
生成的关联图对此方法没有传出的关联。