1 paper · 1 filter
Grigoriy V. Bokov
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, st…