高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
CLP系统中推理机与约束求解器的协调技术
作者：
收录：
摘要：
本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
1996，Journal of Software
1989，计算机研究与发展
1998，北京工业大学学报
1996，计算机研究与发展
来源 ：
软件学报
年份： 1996
期： 07
页码： 415-421
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次：
中文被引频次：
近30日浏览量： 3
归属院系：
信息学部 计算机学院
全文获取
外部链接：
