Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams.

Carl Pixley Seh-Woong Jeong Gary D. Hachtel

Published in: DAC (1992)

Keyphrases

domain independent
binary decision diagrams
planning problems
domain specific
symbolic model checking
boolean functions
variable ordering
hidden markov models
model checking
databases
relational databases
dynamic programming
knowledge discovery
machine translation