Login / Signup
On Proof Complexity of Resolution over Polynomial Calculus.
Erfan Khaniki
Published in:
ACM Trans. Comput. Log. (2022)
Keyphrases
</>
automatic theorem proving
vapnik chervonenkis dimension
computational complexity
polynomial hierarchy
space complexity
automated theorem proving
worst case
memory requirements
theorem prover
exponential size
database
multiresolution
high resolution
theorem proving
natural deduction