Generating Matrix Identities and Proof Complexity Lower Bounds.
Fu LiIddo TzameretPublished in: CoRR (2013)
Keyphrases
- lower bound
- upper bound
- worst case
- average case complexity
- theorem prover
- branch and bound algorithm
- lower bounding
- linear algebra
- lower and upper bounds
- computational complexity
- branch and bound
- vc dimension
- average case
- computational cost
- objective function
- singular value decomposition
- neural network
- low rank
- decision problems
- kernel function
- upper and lower bounds
- linear logic