Binary decision diagrams in theory and practice.

Rolf Drechsler Detlef Sieling

Published in: Int. J. Softw. Tools Technol. Transf. (2001)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
data sets
small number
object oriented
database
data mining
information retrieval
artificial intelligence
database systems
reinforcement learning
general purpose