电脑体验，效果更佳

约束可满足问题图谱-自然科学领域：

研究人员

穆庆华 李树平 陈荣 刘瑞胜 孙吉贵 杨柳

相关术语

目标排序启发式 动态约束可满足问题 值排序 局部搜索算法 图规划 控制策略 变量排序 回溯搜索算法

标签云