电脑体验，效果更佳

荆明娥图谱-机械领域：

相关人员

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

研究领域

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

所属机构

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

标签云