Branching Programs and Binary Decision Diagrams (Q4485697)
From MaRDI portal
scientific article; zbMATH DE number 1460608
Language | Label | Description | Also known as |
---|---|---|---|
English | Branching Programs and Binary Decision Diagrams |
scientific article; zbMATH DE number 1460608 |
Statements
Branching Programs and Binary Decision Diagrams (English)
0 references
18 June 2000
0 references
Boolean function
0 references
branching program
0 references
decision diagram
0 references
data structures
0 references
complexity theory
0 references
efficient algorithms
0 references