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.
Registro de origen
Citas copiadas textualmente del registro de origen del método. No se infiere ninguna verificación a nivel de afirmación de ellas.
- 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
Afirmaciones curadas
Afirmaciones persistidas en el libro mayor de evidencia, cada una con su propia evaluación.
Esta vista no inventa una evaluación de afirmación si el libro mayor no tiene ninguna.
Métodos relacionados
Generado a partir del grafo de métodos y mostrado como relaciones sugeridas por la máquina; no se infiere ninguna afirmación de evidencia.
El grafo de relaciones generado no tiene ninguna relación saliente para este método.