智能回溯相关论文
该文在探讨了SAT算法及其实现技术的基础上,描述了作者为了实现一个高效、健壮的SAT程序而进行的研究和实验工作,主要内容包括:第......
本文提出了一种求解圆顶点m着色的“智能”回溯算法.实验结果表明,对求解适当规模的顶点着色问题,新算法较常规算法快2~7倍.分析结......
本文提出了一个基于优化编译和智能控制的高效逻辑语言实现方法。该方法克服了逻辑语言中合一和回溯操作的瓶颈问题,有效地提高了逻......
本文提出一种支持PROLOG程序并行执行的智能回溯机制,它是基于数据相关性分析的动静结合的智能回溯策略,在静态编译时通过相关性分析产生各......
为了满足单件小批定货生产方式下的交货期满足问题,本文着重研究CAPP/PPS集成并行模式下加工过程决策的调度方法,该方法采用基于动......
本文试图对逻辑程序语言的控制问题提出一个解决办法。本文从 Kowalski 的most showing,least finding 原则出发,通过一个谓词复杂......
图顶点染色问题是一个被广泛研究的组合优化问题。在理论上图顶点染色问题已经被证明是NP难的。图顶点染色问题的研究不仅因为其计......
本文提出了一种求解圆顶点m着色的“智能”回溯算法.实验结果表明,对求解适当规模的顶点着色问题,新算法较常规算法快2~7倍.分析结......