黄智生 张再跃 眭跃飞 高尚

模糊约束 形式系统 遗传算法 旅行商问题 模态逻辑 蚁群算法 模糊推理 可满足性

江苏科技大学电子信息学院 中国科学院计算技术研究所智能信息处理重点... 江苏科技大学计算机科学与工程学院智能信息...