电脑体验，效果更佳

沈胜宇图谱-机械领域：

相关人员

张建民 李思昆

研究领域

布尔公式 可满足性模理论 宽度优先搜索 极小不可满足子式 搜索树 可满足问题 形式化验证 DPLL算法

所属机构

国防科学技术大学计算机学院

标签云