您的位置： 专家智库 > >

陈德泉

作品数：2 被引量：0H指数：0
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 1篇自动化与计算...

主题

  • 2篇子问题
  • 2篇相容性
  • 1篇约束满足问题
  • 1篇人工智能

机构

  • 2篇吉林大学

作者

  • 2篇张永刚
  • 2篇陈德泉
  • 1篇刘文壮
  • 1篇辛颖

传媒

  • 1篇计算机科学

年份

  • 1篇2015
  • 1篇2014
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于序列的子问题相容性技术
2015年
研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法SAC-SDS和SAC-3的2~3倍。
陈德泉张永刚辛颖刘文壮
基于序列的子问题相容性技术
满足问题(CSP-Constraint Satisfaction Problem)是人工智能研究领域的一个重要问题。在求解过程中，相容性技术(consistency technique)所起的作用是十分巨大的，该技术通过...
陈德泉张永刚辛颖刘文壮
关键词：人工智能约束满足问题相容性
全选 清除 导出
共1页<1>
聚类工具0