计算机与数字工程2018，Vol.46Issue(10)：1939-1942,2010,5.DOI:10.3969/j.issn.1672-9722.2018.10.001
基于逻辑确定性的BDD变量排序方法
BDD Variable Ordering Method Based on Logistic Certainty
摘要
关键词
逻辑确定性/二维决策图/变量排序分类
信息技术与安全科学引用本文复制引用
崔谱龙,叶华平,闫华..基于逻辑确定性的BDD变量排序方法[J].计算机与数字工程,2018,46(10):1939-1942,2010,5.基金项目
国家自然科学基金项目(编号:711401172)资助. （编号:711401172）
