Proof Compression and NP Versus PSPACE II: Addendum.
Lew GordeevEdward Hermann HaeuslerPublished in: CoRR (2020)
Keyphrases
- decision procedures
- data compression
- image compression
- compression scheme
- np complete
- compression algorithm
- compression ratio
- theorem prover
- compression rate
- theorem proving
- temporal logic
- linear logic
- logical rules
- text compression
- pspace complete
- neural network
- hyperspectral image compression
- lossy compression
- lossless compression
- np hard
- multiresolution
- computational complexity
- website