Mobile
Log In Sign Up
Home > english-chinese > "qbf" in Chinese

Chinese translation for "qbf"

勤必发

Related Translations:
qbf query by form:  表单查询
Example Sentences:
1.New york , chelsea , 1950 . 12 quine w v q . methods of logic
3对由算法产生的qbf公式,提出了一个深度优先的满足性判定方法。
2.Spinger , 1997 . 14 dershowitz n , hanna z , katz j . bounded model checking with qbf . in proc
类似于sat的判定过程,基于搜索的qbf的满足性的决策过程也不存在状态爆炸问题。
3.International conference on theory and applications of satisfiability testing sat 05 , lncs 3569 , springer - verlag , st . andrews , uk , 2005 , pp . 408 - 414
因此如果能够把模型检测规约到qbf的满足性的判定上,将是解决状态爆炸问题一个非常有效的方法。
Similar Words:
"qbc bella cool bc" Chinese translation, "qbe" Chinese translation, "qbe query by example" Chinese translation, "qbe-query by example" Chinese translation, "qbert" Chinese translation, "qbf query by form" Chinese translation, "qbh" Chinese translation, "qbic" Chinese translation, "qbic query by image content" Chinese translation, "qbo" Chinese translation