PSPACE survives three-bit bottlenecks (1988)

by J-Y Cai, M L Furst
Venue:In Proceedings of 3th Annual IEEE Conference on Structure in Complexity Theory