PSPACE Survives Constant-Width Bottlenecks.

Jin-yi Cai Merrick L. Furst

Published in: Int. J. Found. Comput. Sci. (1991)

Keyphrases

decision procedures
temporal logic
real time
neural network
multimedia
high level
reinforcement learning
mazurkiewicz traces