电脑体验，效果更佳

OBDD图谱-机械领域：

研究人员

陈光 吕宗伟 龙望宁 薛宏熙 边计年 林争辉 洪先龙 贝劲松

相关术语

组合电路 遗传算法 形式验证 组合逻辑电路 布尔匹配 SBDD 交叉 布尔函数

标签云