Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines.
Christoph MeinelThorsten TheobaldPublished in: FMCAD (1996)
Keyphrases
- finite state machines
- model checking
- finite state automata
- invariant representations
- regular expressions
- symbolic model checking
- databases
- digital circuits
- encoding scheme
- symbolic representation
- knowledge compilation
- pattern matching
- domain knowledge
- hidden markov models
- data mining
- database
- ordered binary decision diagrams