电脑体验，效果更佳

沈胜宇图谱-计算机领域：

相关人员

张建民 李思昆

研究领域

可满足模理论问题 形式化验证 布尔可满足问题 增量式求解 可满足问题 模型检验 不完全方法 悖论分析

所属机构

湖南长沙 国防科技大学计算机学院 国防科学技术大学计算机学院

标签云