Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram.

Nagisa Ishiura Yutaka Deguchi Shuzo Yajima

Published in: DAC (1990)

Keyphrases

binary decision diagrams
boolean functions
model checking
learning algorithm
search algorithm
expert systems
planning problems
search space
multi dimensional