电脑体验，效果更佳

钱红图谱-计算机领域：

相关人员

刘越畅 姜云飞

研究领域

析取时态问题 变量排序 约束可满足问题 值选择 时态推理 智能规划和调度

所属机构

中山大学软件研究所

标签云