QBF is a generalization of SAT, it can solve consistency planning with large state space.

QBF是SAT的泛化，它可以对状态空间较大的一致性规划问题求解。

youdao

QBF is a generalization of SAT, it can solve consistency planning with large state space.

QBF是SAT的泛化，它可以对状态空间较大的一致性规划问题求解。

youdao