problem of deciding the satisfiability of a true quantified Boolean formula
TQBF問題
Fórmula booliana completamente quantificada
Fórmula booleana cuantificada verdadera
Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
True quantified Boolean formula
Fórmula booliana totalmente quantificada
Formule booléenne quantifiée