• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

周天山 (周天山.) | 刘椿年 (刘椿年.) | 李京悦 (李京悦.) | 钟宁燕 (钟宁燕.) | 苗占禄 (苗占禄.)

收录:

CQVIP PKU CSCD

摘要:

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

关键词:

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

作者机构:

  • [ 1 ] [周天山]北京工业大学
  • [ 2 ] [刘椿年]北京工业大学
  • [ 3 ] [李京悦]北京工业大学
  • [ 4 ] [钟宁燕]北京工业大学
  • [ 5 ] [苗占禄]北京工业大学

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

北京工业大学学报

ISSN: 0254-0037

年份: 2000

期: 3

卷: 26

页码: 104-107

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次: 1

中文被引频次:

近30日浏览量: 2

归属院系:

在线人数/总访问数:4701/2949226
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司