multi_domain 相关硕士博士期刊学术论文 - 搜论网

multi_domain相关论文

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

描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够......

期刊

Warren抽象机(WAM) 约束逻辑程序设计(CLP) 多重论域非线性约束 WAM CLP multi_domain nonlinear constrain

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

描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略，并通过定义新的数据结构，采用多种优化策略，使该系统能够......

期刊

WARREN抽象机约束逻辑程序设计多重论域非线性约束编译系统算法优化 WAM CLP multi_domain nonlinear constr

看过本文同时还关注