Universal Lossless Data Compression Via Binary Decision Diagrams

John C. Kieffer Philippe Flajolet En-Hui Yang

Published in: CoRR (2011)

Keyphrases

binary decision diagrams
lossless data compression
data compression
compression algorithm
boolean functions
symbolic model checking
lossless compression
model checking
variable ordering
planning problems
image compression
image processing
knowledge compilation
multiscale
pattern mining