CLP编译系统中非线性约束求解的算法与优化

• 作者: 刘椿年 周天山 李京悦 苗占禄 钟宁燕
• 来源期刊: 北京工业大学学报
• 学科: 工学
• 关键词: Warren抽象机(WAM) 约束逻辑程序设计(CLP) 多重论域 非线性约束
• 年，卷（期）: 2000,（3）
• 页码范围: 104-107
• 页数: 4页
• 分类号: TP 391.2
• 字数: 3042字
• 语种: 中文
• DOI: 10.3969/j.issn.0254-0037.2000.03.021

摘要

描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘椿年	北京工业大学计算机学院	81	1010	16.0	29.0
2	周天山	北京工业大学计算机学院	2	3	1.0	1.0
3	李京悦	北京工业大学计算机学院	2	3	1.0	1.0
4	钟宁燕	北京工业大学计算机学院	2	3	1.0	1.0
5	苗占禄	北京工业大学计算机学院	2	3	1.0	1.0