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