A new dynamic heuristic binary decision diagram ( BDD ) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图 ( BDD ) 最小化算法.
相关词汇
newadj. 新的,崭新的,新鲜的,新到的,现代的,初次(听到)的;adv. 新近,最近;
dynamicadj. 动态的,动力的,动力学的,充满活力的,精力充沛的,不断变化的,充满变数的;n. 动态,动力,推动变化的力量,动力学,活力;
binaryadj. 双重的,由两个东西组成的,二态的,二元的,二进制的;n. 一双,双体,二进制数,双子星;
decisionn. 决定,果断,决议,(法院的)判决;vt. [口语][拳击]靠判定击败(对手);
diagramn. 图表,图解,示意图,[数]线图;vt. 用图表示,图解;
isvt.& vi. 是(be的三单形式;n. 存在;
proposedadj. 被提议的,所推荐的;v. 提议,建议( propose的过去式和过去分词 ),打算,提供(解释),提出(行动,计划或供表决的方案等);