电脑体验，效果更佳

虞蕾图谱-计算机领域：

相关人员

赵宗涛 陈火旺 李刚

研究领域

PSL 可满足性问题 计算复杂度 基于断言的验证 软件开发 电子对抗 形式化验证 组件

所属机构

第二炮兵工程学院计算机系 国防科学技术大学计算机学院 国防科学技术大学计算机学院博士后流动站

标签云