QBF solver

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:software
decision procedure
gptkbp:complexity PSPACE-complete
gptkbp:example CAQE
DepQBF
GhostQ
QuAbs
Qute
RAReQS
gptkbp:format QDIMACS
https://www.w3.org/2000/01/rdf-schema#label QBF solver
gptkbp:output satisfiable
unsatisfiable
gptkbp:relatedTo Boolean satisfiability problem
gptkbp:solvedBy quantified Boolean formulas
gptkbp:usedIn gptkb:artificial_intelligence
theoretical computer science
formal verification
gptkbp:bfsParent gptkb:quantified_Boolean_formula
gptkbp:bfsLayer 6