首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
约束满足问题论文
约束满足问题论文
问题论文
存在问题论文
社会问题论文
常见问题论文
问题整改论文
安全问题论文
生态环境问题论文
问题分析论文
质量问题论文
贫困问题论文
一种基于时间戳的简单表缩减算法
论文摘要表约束是一种外延的知识表示方法,每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容(generalizedarcconsistency,简称GAC)是求解约...
基于符号OBDD的子图同构约束求解算法
论文摘要针对求解子图同构问题计算复杂性较高的问题,提出了一种基于符号OBDD的子图同构约束求解算法(OBDD-SI)。该算法对子图同构进行CSP建模,采用OBDD对该模型进行隐...