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