弧一致性相关论文
实际生活中的许多问题都可以建模为约束问题模型,然后用约束满足问题求解技术进行处理,比如物流规划,硬件电路设计,生产调度等各领......
约束满足问题是人工智能领域的重要研究方向,其求解方法有三种,搜索、一致性算法和约束传播,其中一致性算法通常通过缩减问题域来......
针对求解子图同构问题计算复杂性较高的问题,提出了一种基于符号OBDD的子图同构约束求解算法(OBDD-SI)。该算法对子图同构进行CSP......
