true quantified Boolean formula
Sign in to saveAlso known as QSAT, TQBF, Quantified SAT
problem of deciding the satisfiability of a true quantified Boolean formula
Connections
PSPACE
Entity
big O notation
Entity
NP-complete
Entity
polynomial hierarchy
Entity
free and bound variables
Entity
International Standard Book Number
Entity
natural number
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
game theory
Entity
Turing machine
Entity
Q118398
Entity
propositional calculus
Entity
formal language
Entity
quantifier
Entity
computational complexity theory
Entity
Q22908627
Entity
truth value
Entity
universal quantification
Entity
time complexity
Entity