期刊文章详细信息
CLP系统中推理机与约束求解器的协调技术 ( EI收录)
SYNCHRONIZATION OF THE INFERENCE ENGINE WITH THE CONSTRAINT SOLVER IN A CLP SYSTEM
文献类型：期刊文章
机构地区：[1]北京工业大学计算机系
基 金：国家自然科学基金;国家863高科技项目
年 份：1996
卷 号：7
期 号：7
起止页码：415-421
语 种：中文
收录情况：AJ、BDHX、BDHX1992、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：1996473348298)、IC、INSPEC、JST、MR、SCOPUS、ZGKJHX、ZMATH、核心刊
摘 要：本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．
关 键 词：CLP 存储优化 推理南 约束求解器 程序设计
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
