PSPACE survives three-bit bottlenecks.

Jin-Yi Cai Merrick L. Furst

Published in: Computational Complexity Conference (1987)

Keyphrases

bit vectors
decision procedures
databases
bit vector
pseudorandom
temporal logic
binary representation
random access memory
database
mazurkiewicz traces
multiresolution
run length
website
signature file
social networks
magnetic tape
random number generator