期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
CLP编译系统中非线性约束求解的算法与优化 被引量：1
1
作者 周天山 刘椿年 +2 位作者 李京悦 钟宁燕 苗占禄 《北京工业大学学报》 CAS CSCD 2000年第3期104-107,共4页
描述了一个高度优化的约束逻辑程序（ＣＬＰ）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．
关键词 WARREN抽象机 约束逻辑程序设计 多重论域 非线性约束 编译系统 算法 优化
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部