有序二叉决策图(OBDD)是一种有效地表示和处理大规模问题的数据结构,在大规模模型检测和验证等领域已经得到成功应用,在逻辑公式的可满足判定方面也具有...
基于113个网页-相关网页
OBDD-Ordered Binary Decision Diagram
有序二叉决策图(OBDD-Ordered Binary Decision Diagram)是描述布尔函数的一种新的有效的数据结构。.
基于12个网页-相关网页
ordered binary decision diagram
基于有序二叉决策图(ordered binary decision diagram,OBDD)法,同时针对电力系统的实际情况, 本文提出了灾变下在线搜索电力系统的合理解列 策略的3 阶段方法: ...
基于8个网页-相关网页
短语
基于有序二叉决策图
ordered binary decision diagram
;
OBDD