Skeptik: A Proof Compression System.
Joseph BoudouAndreas FellnerBruno Woltzenlogel PaleoPublished in: IJCAR (2014)
Keyphrases
- image compression
- compression algorithm
- data compression
- compression ratio
- compression scheme
- image processing
- theorem prover
- computer vision
- lossy image compression
- text compression
- artificial neural networks
- geometry theorem proving
- database
- compressed data
- random access
- theorem proving
- data structure
- multiscale
- neural network