10.3969/j.issn.0254-0037.2000.03.021
CLP编译系统中非线性约束求解的算法与优化
描述了一个高度优化的约束逻辑程序(CLP)编译系统解释实现中的算法和优化策略.并通过定义新的数据结构,采用多种优化策略,使该系统能够以较高效率处理经典的非线性约束问题.
Warren抽象机(WAM)、约束逻辑程序设计(CLP)、多重论域、非线性约束
26
TP391.2
国家自然科学基金NSFC69883001;国家高技术研究发展计划863计划863-306-ZT06-07-2
2004-03-12(万方平台首次上网日期,不代表论文的发表时间)
共4页
104-107