1999年，Biere等提出了基于SAT的有界模型检验（boundedmodel checking， BMC）技术【5】，重新燃起了研究者的热情。
基于2个网页-相关网页
1999年，Biere等提出了基于SAT的有界模型检验（boundedmodel checking， BMC）技术【5】，重新燃起了研究者的热情。
基于2个网页-相关网页
-
bounded model checking
- 引用次数：2
参考来源 - 模型检验及其布尔可满足问题的研究
·2,447,543篇论文数据，部分数据来源于NoteExpress