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

极小布尔不可满足子式相关论文

极小布尔不可满足子式的提取算法

研究了极小布尔不可满足子式的提取算法 ,它分为近似算法和精确算法两种文中就精确算法提出了局部预先赋值的优化方案 ,并且在理......

期刊

形式验证布尔可满足问题极小布尔不可满足子式 formal verification Boolean satisfiability problem min

看过本文同时还关注