Quantified Boolean Formula (QBF)

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:theoretical_computer_science gptkb: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:theoretical_computer_science gptkb:logic
gptkbp:form	gptkb:conjunctive_normal_form prenex normal form
gptkbp:generalizes	gptkb:Boolean_satisfiability_problem_(SAT)
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
https://www.w3.org/2000/01/rdf-schema#label	Quantified Boolean Formula (QBF)