电脑体验，效果更佳

布尔公式图谱-计算机领域：

研究人员

李思昆 沈胜宇 张建民

相关术语

可满足问题 不可满足子式 DPLL算法 形式化验证

标签云