电脑体验，效果更佳

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

研究人员

周巢尘 许道云 邓天炎 张庆顺

相关术语

NP-完全性 计算序列 极小不可满足公式 程序模式 归约 谓词演算 线性CNF公式

标签云