电脑体验，效果更佳

单美静图谱-计算机领域：

相关人员

陈光喜 毕忠勤

研究领域

局部搜索 可满足性问题 自动求解 多项式扩展

所属机构

桂林电子科技大学数学与计算科学学院 华东师范大学上海市高可信计算重点实验室

标签云