Time-space lower bounds for satisfiability.

Lance Fortnow Richard J. Lipton Dieter van Melkebeek Anastasios Viglas

Published in: J. ACM (2005)

Keyphrases

lower bound
upper bound
objective function
neural network
computational complexity
space time
search space
low dimensional
branch and bound
phase transition
np hard
satisfiability problem
propositional logic
sat problem