On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity.
Søren RiisPublished in: LICS (2008)
Keyphrases
- worst case
- automated theorem proving
- vapnik chervonenkis dimension
- polynomial hierarchy
- proof search
- artificial intelligence
- exponential size
- computational complexity
- natural deduction
- neural network
- linear logic
- theorem proving
- higher order
- optimal solution
- data sets
- low order
- real numbers
- space complexity
- computational cost
- knowledge base