Compression with Wildcards: From CNFs to Orthogonal DNFs by Imposing the Clauses One-by-One.
Marcel WildPublished in: Comput. J. (2022)
Keyphrases
- conjunctive normal form
- cnf formula
- boolean formulae
- compression scheme
- compression ratio
- pattern matching
- data compression
- compression algorithm
- image compression
- search space
- complex valued
- recursive least squares
- knowledge compilation
- real valued
- bitstream
- satisfiability problem
- lossless compression
- xpath queries
- boolean formula
- multiresolution