共享OBDDs 相关硕士博士期刊学术论文

顺序二元决策图OBDDs的规模随着变量数量的增多呈指数形式增长。为了克服大规模OBDDs数据的描述和存储困难，提出了一种带有互补边的......