Proof Compression and NP Versus PSPACE.

Lev Gordeev Edward Hermann Haeusler

Published in: Stud Logica (2019)

Keyphrases

decision procedures
image compression
data compression
compression algorithm
computational complexity
np complete
theorem proving
compression ratio
theorem prover
compression scheme
temporal logic
np hard
data sets
pspace complete
mathematical proofs
text compression
neural network