qbf 中文意思是什麼
qbf
解釋
勤必發-
Spinger, 1997. 14 dershowitz n, hanna z, katz j. bounded model checking with qbf. in proc
類似於sat的判定過程，基於搜索的qbf的滿足性的決策過程也不存在狀態爆炸問題。
分享友人