Login / Signup
The Computational Complexity Column Time-Space Lower Bounds for Satisfiability.
Dieter van Melkebeek
Published in:
Bull. EATCS (2001)
Keyphrases
</>
computational complexity
lower bound
np complete
np hard
upper bound
worst case
low dimensional
vector space
special case
computational cost
space time
branch and bound algorithm
propositional logic
vc dimension
objective function
bit rate
phase transition
learning theory
sample complexity