Grigoriy V. Bokov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

research

∙ 07/18/2018

Quantified boolean formula problem

This paper is devoted to the complexity of the quantified boolean formul...

0 Grigoriy V. Bokov, et al. ∙

research

∙ 04/06/2018

Complexity of the CNF-satisfiability problem

This paper is devoted to the complexity of the Boolean satisfiability pr...

0 Grigoriy V. Bokov, et al. ∙