布尔满足性求解器相关硕士博士期刊学术论文 - 信丰网

布尔满足性求解器相关论文

基于SAT的多目标故障测试向量动态压缩方法

针对传统的自动测试图形向量生成采用逐个求解单一故障模型导致生成测试向量数据量巨大的缺点,提出一种基于布尔满足性(boolean sa......

期刊

布尔满足性求解器多目标故障动态压缩算法最大故障列表 SAT solver multiple target faulty dynamic compact

看过本文同时还关注