QBF is a generalization of SAT, it can solve consistency planning with large state space.
QBF是SAT的泛化，它可以对状态空间较大的一致性规划问题求解。
youdao
应用推荐
模块上移
模块下移
不移动