约束推理机相关论文
约束推理机是约束逻辑程序设计的核心部分,它包含有变量组、临时容器、约束过滤器和推理引擎,与分支策略、探索策略和节点回溯策略......
该文涉及的约束逻辑程序设计(CIP)是一在二叉树上进行搜索的过程,提高搜索效率是CIP的主要研究方向之一。在CIP中约束推理机是核心,......