Compression of Boolean Functions.

Valentine Kabanets Antonina Kolokolova

Published in: Electron. Colloquium Comput. Complex. (2013)

Keyphrases

boolean functions
uniform distribution
threshold functions
prime implicants
membership queries

image compression
relevant variables
compression scheme
compression algorithm
compression ratio

functional properties
dnf formulae
linear threshold
binary decision diagrams

multi valued
bi decomposition
read once formulas
truth table