Compression of Propositional Resolution Proofs via Partial Regularization.
Pascal FontaineStephan MerzBruno Woltzenlogel PaleoPublished in: CADE (2011)
Keyphrases
- high resolution
- propositional logic
- data compression
- image compression
- compression algorithm
- compression scheme
- first order logic
- clause learning
- compression ratio
- theorem prover
- theorem proving
- strips planning
- reconstruction quality
- low resolution
- default logic
- multi valued
- decision procedures
- image processing
- knowledge base