Data Compression for Proof Replay.

Published in: J. Autom. Reason. (2008)

Keyphrases

data compression
data reduction
compression algorithm
compression scheme
compression ratio
compressed data
wavelet compression
wavelet filters
high compression
post processing
lossless data compression
database management systems
huffman coding