有序二元决策图
ordered binary decision diagram
有序二元决策图(OBDD)
body of a normative document
有序二元决策图OBDD
ordered binary decision diagram OBDD
超音波法液位元元元元元元测定
ultra-sonic method of liquid meaduremert
有序二元决定图
ordered binary-decision diagrams
零压缩二元决策图
zero-suppressed binary decision diagram
ZBDD
有序二元对比法
sequence duality comparison method
有序二元判决图
ordered binary decision diagram
抽象图归约机
abstract reduction machine
图归约演算
Graphic reduction calculus
二元约束满足问题
binary constraint satisfaction problem BCSP
binary CSP