qbf meaning in Chinese
勤必发
Examples
- New york , chelsea , 1950 . 12 quine w v q . methods of logic
3对由算法产生的qbf公式，提出了一个深度优先的满足性判定方法。 - Spinger , 1997 . 14 dershowitz n , hanna z , katz j . bounded model checking with qbf . in proc
类似于sat的判定过程，基于搜索的qbf的满足性的决策过程也不存在状态爆炸问题。 - International conference on theory and applications of satisfiability testing sat 05 , lncs 3569 , springer - verlag , st . andrews , uk , 2005 , pp . 408 - 414
因此如果能够把模型检测规约到qbf的满足性的判定上，将是解决状态爆炸问题一个非常有效的方法。