On Proof complexity of Resolution over Polynomial Calculus.
Erfan KhanikiPublished in: Electron. Colloquium Comput. Complex. (2020)
Keyphrases
- polynomial hierarchy
- automated theorem proving
- memory requirements
- image processing
- computational complexity
- high resolution
- neural network
- automatic theorem proving
- consequence finding
- proof procedure
- low resolution
- computational cost
- high quality
- theorem prover
- theorem proving
- space complexity
- super resolution
- natural deduction
- exponential size
- vapnik chervonenkis dimension
- genetic algorithm
- data sets