Login / Signup
Finding small OBDDs for incompletely specified truth tables is hard
Jesper Torp Kristensen
Peter Bro Miltersen
Published in:
Electron. Colloquium Comput. Complex. (2006)
Keyphrases
</>
databases
boolean functions
database
model checking
social networks
small number
relational databases