Boolean satisfiability problem
計算複雑性理論において、量化されたブール式問題(QBF)は充足可能性問題の一般化であり、変数を存在量化子でも全称量化子でも量化することができる。言い換えると、QBFはブール変数の集合の上の量化された式が真か偽かを問うものである。例えば、以下の式はQBFのインスタンスである: