电脑体验，效果更佳

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

研究人员

李思昆 张建民 沈胜宇

相关术语

DPLL算法 布尔公式 局部搜索 可满足问题 消解序列 形式化验证 布尔可满足问题

标签云