欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
约束程序设计与约束推理研究在强烈的应用背景驱动下，近几年受到了国外学术界和产业界的重视。本项申请将研究分层约束逻辑程序和部分约束逻辑程序的语义和步进推理算法；提出非线性约束的化简方法；建立有穷论域、布尔论域和实数论域上大规模约束问题快速的求解理论与算法（允许不完备）；设计实现嵌入到过程语言中的约束程序系统原型。
结论摘要：
英文主题词constraint reasoning;constraint programming;logic-based reasoning;constraint solving;
成果综合统计
期刊论文
会议论文
专利
获奖
著作
相关项目
孙吉贵的项目
