手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
一个可求解非线性约束的CLP编译方案及其优化
描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为离散域和实数域上约束求解的统一方法,具有求解非线性约束的功能.实现为一个基于扩充的WAM指令集的编译系统.在国内外已有的CLP系统中,我们尚未见到同时具有多重论域,非线性约束求解和编译实现这3项特征的类似系统.
3 34
手机阅读本文
下载APP 手机查看本文
北京工业大学学报
2000年02期
相似文献
图书推荐
相关工具书

搜 索