Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard.

Jesper Torp Kristensen Peter Bro Miltersen

Published in: COCOON (2006)

Keyphrases

databases
small number
database systems
special case
model checking
boolean functions
database
data mining
machine learning
website
multiscale
temporal logic