The complexity of satisfaction problems in reverse mathematics.

Published in: Comput. (2015)

Keyphrases

computational complexity
np complete
real time
neural network
problems involving
data mining
genetic algorithm
optimization problems
decision problems
solving problems
np hardness
similar problems
polynomial hierarchy
average case complexity