约束推理与约束程序

约束程序与约束推理作为计算机学科中具有战略意义的研究方向一直受到计算机学术界和产业界的密切关注。近年来其发展出现了众多新趋势。这些新理论和新技术蕴藏着巨大的商业价值，并已成为许多实用软件系统的核心技术。本课题申请将研究约束逻辑程序的基于抽象解释和代数结构的语义；基于软约束的约束程序理论和求解算法；智能搜索策略与约束传播方法相结合的约束求解技术；传统优化算法与多种随机算法在求解组合优化问题中的联合应用。扩展已有的约束求解工具，提高其求解效率，构建一套完善的约束求解框架并实现相关领域的具体应用。