逻辑展开式相关硕士博士期刊学术论文

布尔函数在人工智能领域和电子设计自动化领域占据核心地位,二元决策图(BDDs)是表示布尔函数的规范形式,它以图形式表示布尔函数,......