电脑体验，效果更佳

荆明娥图谱-计算机领域：

相关人员

唐璞山 周电 尹文波 周晓方 罗二海

研究领域

决策 DPLL 局部搜索 SAT问题 可满足性问题 变量决策 完全算法 冲突

所属机构

复旦大学专用集成电路国家重点实验室 复旦大学专用集成电路与系统国家重点实验室

标签云