Compression of Propositional Resolution Proofs by Lowering Subproofs.
Joseph BoudouBruno Woltzenlogel PaleoPublished in: TABLEAUX (2013)
Keyphrases
- compression ratio
- theorem proving
- image compression
- consequence finding
- compression scheme
- compression rate
- high resolution
- first order logic
- compression algorithm
- propositional logic
- low resolution
- neural network
- clause learning
- default logic
- data compression
- theorem prover
- sampling rate
- knowledge compilation
- video sequences
- motion estimation
- lossless compression
- multi valued
- lossy compression
- multiresolution
- formal proofs
- satisfiability testing
- data sets