电脑体验，效果更佳

郑伟伟图谱-计算机领域：

相关人员

边计年 吴为民

研究领域

性质检验 线性规划 寄存器传输级 形式验证 可满足性

所属机构

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

标签云