Local encoding transformations for optimizing OBDD-representations of finite state machines (Q5943270)
From MaRDI portal
scientific article; zbMATH DE number 1642622
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Local encoding transformations for optimizing OBDD-representations of finite state machines |
scientific article; zbMATH DE number 1642622 |
Statements
Local encoding transformations for optimizing OBDD-representations of finite state machines (English)
0 references
9 September 2001
0 references
ordered binary decision diagrams
0 references
encoding
0 references
