最小不可满足子式相关硕士博士期刊学术论文 - 搜论网

最小不可满足子式相关论文

最小布尔不可满足子式的求解算法

解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值，而最小不可满足子公式能够为公式不可满足的原因提供精确的......

期刊

形式化验证最小不可满足子式极大可满足子式贪心遗传算法蚁群算法 formal verification minimum unsatisfiable sub

不可满足子式在谓词抽象中的应用与分析

随着软硬件设计的规模越来越大,功能越来越复杂,往往导致形式化验证出现"组合爆炸"问题,而谓词抽象方法是解决状态空间"组合爆炸"......

期刊

功能验证形式化方法谓词抽象布尔可满足性最小不可满足子式

看过本文同时还关注