Atomic Cut Introduction by Resolution: Proof Structuring and Compression.
Bruno Woltzenlogel PaleoPublished in: LPAR (Dakar) (2010)
Keyphrases
- automatic theorem proving
- image compression
- data compression
- low resolution
- compression ratio
- consequence finding
- compression algorithm
- theorem proving
- image resolution
- linear logic
- theorem prover
- mathematical proofs
- conflict detection
- high resolution
- optimal solution
- compression rate
- lossless compression
- knowledge base
- search algorithm