相容性技术相关论文
约束传播技术对于约束满足问题的求解性能至关重要。约束传播技术在一个预处理过程中能彻底地移除一些局部不相容值,或者在搜索期......
研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应......
基于原有SAC-MP算法,提出一种将图分割技术应用到SAC-MP算法中的一种新算法,该算法在执行时能充分利用图分割技术确定适当的k值,避......
相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次......
在现有相容性算法研究的基础上，提出了一种在约束网络中确立双向singleton弧相容的新算法——BiSAC-2，并给出了其正确性和完备性证明......
通过记录搜索过程中的有用信息避免了一些无用的约束传播,从而对预处理阶段的Singleton弧相容算法进行了改进,提出了改进的Singlet......
约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的......
