电脑体验，效果更佳

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

研究人员

许道云 王健 张庆顺 秦永彬 董改芳 邓天炎

相关术语

不可满足性 计算复杂性 改名 归约 线性CNF公式 NP-完全性 PTAS等价 MAX-k-SAT问题

标签云