相容性技术论文

基于约束传播的约束求解方法研究
论文摘要约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的解而用到的各种技术。而约束传播即为众多的约束推...