Lev Gordeev | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

research

∙ 05/02/2020

On P Versus NP

I generalize a well-known result that P = NP fails for monotone polynomi...

0 Lev Gordeev, et al. ∙

research

∙ 07/08/2019

Proof compression and NP versus PSPACE. Part 2

We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]:...

0 Lev Gordeev, et al. ∙

research

∙ 07/08/2019

Proof compression and NP versus PSPACE: Addendum

We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]:...

0 Lev Gordeev, et al. ∙

research

∙ 04/03/2019

Predicative proof theory of PDL and basic applications

Propositional dynamic logic (PDL) is presented in Schütte-style mode as ...

0 Lev Gordeev, et al. ∙