Zero, successor and equality in BDDs.

Bahareh Badban Jaco van de Pol

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

heuristic search
binary decision diagrams
timed automata
expert systems
knowledge compilation
neural network
artificial intelligence
search algorithm
normal form
data sets
knowledge base
bayesian networks
video sequences
np hard
function symbols
database query languages