约束满足问题求解途径之比较与分析

被引：4

作者：

陈源

史忠植

机构：

[1] 中国科学院计算技术研究所智能计算机科学开放实验室

[2] 中国科学院计算技术研究所智能计算机科学开放实验室北京

[3] 北京

来源：

关键词：

约束满足; 逻辑; 自动机; 整数线性规划; 连接主义; 遗传算法;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

本文从逻辑、自动机理论、代数方法、连接主义框架和遗传算法的角度深入地探讨了CSP问题的不同表示框架和求解风范,详细分析和讨论了不同表示和求解方法的特点以及它们之间的内在联系和可能的结合。

引用

页码：8 / 12

页数：5