Ackermann Encoding, Bisimulations, and OBDDs.

Carla Piazza Alberto Policriti

Published in: Theory Pract. Log. Program. (2004)

Keyphrases

boolean functions
model checking
encoding scheme
databases
real time
data sets
information retrieval
three dimensional
image sequences
rate distortion
ordered binary decision diagrams