电脑体验，效果更佳

DPLL算法图谱-计算机领域：

研究人员

李思昆 刘长云 许道云 张建民 沈胜宇

相关术语

难例 不可满足子式 不可满足公式 可满足问题 对称规则 布尔公式 形式化验证

标签云