QBF-V 压瓦机
QBF QueryByForm 表单查询
QBF solver QBF问题求解器
qbf query by form 表单查询
QBF is a generalization of SAT, it can solve consistency planning with large state space.
QBF是SAT的泛化，它可以对状态空间较大的一致性规划问题求解。
youdao
应用推荐
模块上移
模块下移
不移动