简化有序二元决策图(ROBDD) 相关硕士博士期刊学术论文

布尔函数是密码体制设计与分析中一个不可缺少的工具，在布尔函数的应用中，判定两个布尔函数的同构问题具有广泛的需求，但是，判定布尔函......