缩写	全称	中文释义
ROBDD	Reduced Ordered Binary Decision Diagram	降序二元决策图