Quantified boolean formula problem

07/18/2018
by   Grigoriy V. Bokov, et al.
0

This paper is devoted to the complexity of the quantified boolean formula problem. We describe a simple deterministic algorithm that, for a given quantified boolean formula F, stops in time bounded by O(|F|^4) and answers yes if F is true and no otherwise.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset