Quantified Boolean Formula (QBF)

GPTKB entity

Statements (32)
Predicate Object
gptkbp:instanceOf theoretical computer science
logic formula
gptkbp:abbreviation gptkb:QBF
gptkbp:alsoKnownAs gptkb:QSAT
gptkb:QBF
gptkbp:complexity PSPACE-complete
gptkbp:decision true or false evaluation
gptkbp:definedIn a Boolean formula with quantifiers over variables
gptkbp:example ∀x ∃y (x ∧ y)
∃x ∀y (x ∨ y)
gptkbp:field gptkb:logic
theoretical computer science
gptkbp:form gptkb:conjunctive_normal_form
prenex normal form
gptkbp:generalizes gptkb:Boolean_satisfiability_problem_(SAT)
https://www.w3.org/2000/01/rdf-schema#label Quantified Boolean Formula (QBF)
gptkbp:quantifiers gptkb:military_decoration
existential
gptkbp:relatedTo gptkb:logic
gptkb:first-order_logic
gptkb:SAT
gptkb:TQBF
gptkbp:solvedBy QBF solvers
gptkbp:studiedBy 1960s
gptkbp:usedIn gptkb:artificial_intelligence
game theory
planning
automated reasoning
formal verification
gptkbp:website https://en.wikipedia.org/wiki/Quantified_Boolean_formula
gptkbp:bfsParent gptkb:PSPACE
gptkbp:bfsLayer 5