电脑体验，效果更佳

邓天炎图谱-计算机领域：

相关人员

张庆顺 许道云

研究领域

概率方法 线性CNF公式 不可满足性 s）-SAT问题 （k 极小不可满足公式 NP-完全性 局部引理

所属机构

贵州贵阳 贵州大学计算机科学系 广西师范学院数学与计算机科学系

标签云