OKFDDs versus OBDDs and OFDDs.

Bernd Becker Rolf Drechsler Michael Theobald

Published in: ICALP (1995)

Keyphrases

model checking
temporal logic

boolean functions
ordered binary decision diagrams

database

query processing