电脑体验，效果更佳

张庆顺图谱-计算机领域：

相关人员

刘斌 邓天炎 郄建敏 许道云 高月华

研究领域

需求分析 软件开发 线性CNF公式 NP-完全性 管理要素 概率方法 极小不可满足公式 不可满足性 局部引理 临界函数 s）-SAT问题 归约 （k

所属机构

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

标签云