Keyword:Quantified Boolean Formula

Papers
PH = PSPACE Valerii Sopin EasyChair Preprint no. 7481