9 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
Lew Gordeev, Edward Hermann Haeusler
We present a proof of the conjecture NP = PSPACE by showing that arbitrary tautologies of Johansson's minimal propositional logic admit "small" polynomial-s…