高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
一个可求解非线性约束的CLP编译方案及其优化
作者：
收录：
摘要：
描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为离散域和实数域上约束求解的统一方法,具有求解非线性约束的功能,实现为一个基于扩充的WAM指令集的编译系统.在国内外已有的CLP系统中,我们尚未见到同时具有多重论域,非线性约束求解和编译实现这3项特征的类似系统.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2000，北京工业大学学报
1979，北京工业大学学报
2011，计算机工程
2007，河北工业大学学报
来源 ：
北京工业大学学报
ISSN： 0254-0037
年份： 2000
期： 2
卷： 26
页码： 39-44
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 2
中文被引频次：
近30日浏览量： 4
归属院系：
全文获取
外部链接：
