Complexity of k-SAT.

Russell Impagliazzo Ramamohan Paturi

Published in: Computational Complexity Conference (1999)

Keyphrases

computational complexity
worst case
search algorithm
computational cost
decision problems
space complexity
state space
orders of magnitude
satisfiability problem
sat solvers