quantified Boolean formula

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:abbreviation gptkb:QBF
gptkbp:complexity gptkb:PSPACE
gptkbp:field gptkb:logic
theoretical computer science
gptkbp:generalizes Boolean formula
gptkbp:hasQuantifier existential quantifier
universal quantifier
https://www.w3.org/2000/01/rdf-schema#label quantified Boolean formula
gptkbp:relatedTo gptkb:logic
Boolean satisfiability problem
PSPACE-complete
gptkbp:solvedBy gptkb:QBF_solver
gptkbp:usedIn gptkb:complexity_theory
automated reasoning
formal verification
gptkbp:bfsParent gptkb:Polynomial_hierarchy
gptkbp:bfsLayer 5