电脑体验，效果更佳

邓澍军图谱-计算机领域：

相关人员

赵燕妮 边计年 吴为民

研究领域

可满足性 形式验证 可满足性模理论 寄存器传输级 约束分解

所属机构

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

标签云