On the complexity of circuit satisfiability.

Ramamohan Paturi Pavel Pudlák

Published in: STOC (2010)

Keyphrases

computational complexity
decision problems
space complexity
neural network
artificial intelligence
worst case
high speed
satisfiability problem
evolutionary algorithm
upper bound
memory requirements