Review of logical foundation of proof complexity by Stephen Cook and Phuong Nguyen.

Arthur Milchior

Published in: SIGACT News (2013)

Keyphrases

worst case
space complexity
real time
computer vision
computational complexity
logical rules
data sets
data mining
information retrieval
genetic algorithm
clustering algorithm
multi agent
search algorithm
hidden markov models
computational cost
decision problems