Breadth-first manipulation of very large binary-decision diagrams.

Hiroyuki Ochi Koichi Yasuoka Shuzo Yajima

Published in: ICCAD (1993)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
variable ordering
breadth first search
search algorithm
planning problems
knowledge compilation
heuristic search
model checking
domain specific
knowledge acquisition
database design
partial observability