咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 1 篇 变量实例化失败次...
  • 1 篇 值实例化成功次数
  • 1 篇 人工智能
  • 1 篇 约束满足问题
  • 1 篇 启发式

机构

  • 1 篇 符号计算与知识工...
  • 1 篇 吉林大学

作者

  • 1 篇 zhang qian
  • 1 篇 张良
  • 1 篇 li zhanshan
  • 1 篇 李占山
  • 1 篇 张乾
  • 1 篇 zhang liang

语言

  • 1 篇 中文
检索条件"主题词=值实例化成功次数"
1 条 记 录,以下是1-10 订阅
排序:
基于实例化次数的约束求解方法研究
收藏 引用
计算机研究与发展 2015年 第5期52卷 1091-1097页
作者: 李占山 张乾 张良 吉林大学计算机科学与技术学院 长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012
启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数值实例化成功次数反映了变量和与已实例化集合之间的关系,将实例化次数加以利用可以对问题求... 详细信息
来源: 评论