电脑体验，效果更佳

SAT问题图谱-计算机领域：

研究人员

徐云 刘涛 周晓方 张强峰 傅阳春 谷文祥 刘文斌 凌应标

相关术语

线性规划 完全算法 数学期望 接触网络 随机算法 演化算法 不完全算法 倒位算子

下位概念

局部搜索 遗传算法

标签云