电脑体验，效果更佳

极小不可满足子式图谱-计算机领域：

研究人员

张建民 沈胜宇 李思昆

相关术语

可满足模理论问题 宽度优先搜索 否证蕴含图 可满足性模理论 DPLL（T） 一阶逻辑公式 搜索树 消解否证

标签云