Login / Signup
Parameterized Proof Complexity: a Complexity Gap for Parameterized Tree-like Resolution.
Stefan S. Dantchev
Barnaby Martin
Stefan Szeider
Published in:
Electron. Colloquium Comput. Complex. (2007)
Keyphrases
</>
computational complexity
worst case
database
neural network
machine learning
e learning
clustering algorithm
data structure
special case
computational cost
tree structure
high computational complexity