电脑体验，效果更佳

龙望宁图谱-机械领域：

相关人员

薛宏熙 贝劲松 洪先龙 边计年

研究领域

布尔函数 形式验证 OBDD 变量序 组合电路

所属机构

清华大学计算机科学与技术系

标签云