ordered binary-decision diagrams
... ordered binary-decision diagrams 有序二元决定图 binary decision 二元判定 binary decision diagram 二元决策图 ; 双择判定图 ; 二叉判定图 ; 二叉决策图 ...
基于16个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
-
Ordered binary decision diagrams(OBDDs)are a data structure for efficient representation and manipulation of Boolean functions. The size of OBDDs is very sensitive to variable ordering.
有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。
youdao
更多双语例句