电脑体验，效果更佳

古天龙图谱-自然科学领域：

相关人员

常亮 高申 李德波

研究领域

极大代数 离散事件系统 建模 描述逻辑 枚举算子 有序二叉决策图 可满足性判定 资源分配问题

标签云