On Aligning Non-Order-Associated Binary Decision Diagrams (Q6200129)
From MaRDI portal
scientific article; zbMATH DE number 7822520
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Aligning Non-Order-Associated Binary Decision Diagrams |
scientific article; zbMATH DE number 7822520 |
Statements
On Aligning Non-Order-Associated Binary Decision Diagrams (English)
0 references
22 March 2024
0 references
analysis of algorithms
0 references
data structures
0 references
binary decision diagrams
0 references
combinatorial optimization problems
0 references
