5 citations · 8 across the 9 of their papers we have counts for
1 paper · 1 filter
Valerii Sopin
In this paper we show that PSPACE is equal to 4th level in the polynomial hierarchy. We also deduce a lot of important consequences. True quantified Boolean formula is a generalisa…