Nisan-Wigderson generators in Proof Complexity: New lower bounds.
Erfan KhanikiPublished in: Electron. Colloquium Comput. Complex. (2022)
Keyphrases
- lower bound
- worst case
- upper bound
- branch and bound
- computational complexity
- branch and bound algorithm
- average case complexity
- objective function
- computational cost
- np hard
- lower and upper bounds
- upper and lower bounds
- data sets
- image registration
- machine learning
- complexity analysis
- average case
- complexity measures