电脑体验，效果更佳

刘越畅图谱-计算机领域：

相关人员

钱红 姜云飞

研究领域

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

所属机构

中山大学软件研究所

标签云