A syntactic tool for proving hardness in the Second Level of the Polynomial-Time Hierarchy.

Edwin Pin Nerio Borges

Published in: CoRR (2017)

Keyphrases

higher level
lower level
computational complexity
worst case
np hardness
phase transition
case study
real time
neural network
data mining
np complete
software tools
levels of abstraction
semantic representation