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

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