人工智能 自动推理 释文 ordered binary decision diagram, OBDD 有序二元决策图
- dual projective line
- dual projectivity
- dual proposition
- dual propositions
- dual purpose bamboo forest
- dual-purpose Cattle
- dual-purpose exploratory well
- dual-purpose shorthorn cattle
- dual quantifier
- dual-quaternion strap-down algorithm
- dual queueing system
- dual randomization
- dual-rate lunar position camera
- dual-rate moon camera
- dual referral
- dual regular polyhedron
- dual relation
- dual representation
- dual resonance
- dual resonance model
- dual-roll press formation
- dual root system
- dual-rotation friction stir welding
- dual scalar
- dual scaling