Login / Signup

OKFDDs versus OBDDs and OFDDs.

Bernd BeckerRolf DrechslerMichael Theobald
Published in: ICALP (1995)
Keyphrases
  • model checking
  • temporal logic
  • boolean functions
  • ordered binary decision diagrams
  • database
  • query processing