Login / Signup
Generating Matrix Identities and Proof Complexity Lower Bounds.
Fu Li
Iddo Tzameret
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
lower bound
worst case
upper bound
np hard
branch and bound algorithm
computational complexity
decision problems
branch and bound
theorem proving
neural network
lower and upper bounds
linear algebra
quadratic assignment problem
conjunctive query containment