咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3 篇 简单表缩减算法
  • 2 篇 表约束
  • 2 篇 因子分解编码
  • 2 篇 约束程序
  • 1 篇 约束规划
  • 1 篇 孤相容
  • 1 篇 相容性算法
  • 1 篇 并行约束传播
  • 1 篇 弧相容

机构

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

作者

  • 2 篇 李占山
  • 2 篇 李哲
  • 2 篇 王震
  • 1 篇 于哲舟

语言

  • 3 篇 中文
检索条件"主题词=简单表缩减算法"
3 条 记 录,以下是1-10 订阅
排序:
优化简单表缩减算法求解因子分解编码实例
收藏 引用
软件学报 2021年 第11期32卷 3530-3540页
作者: 王震 李哲 李占山 吉林大学计算机科学与技术学院 吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012
约束在约束程序(constraint programming,简称CP)中被广泛研究.目前,求解约束问题效率最高的算法是CT(compact-table)和STRbit(simple tabular reduction bit).它们在搜索过程中维持广义弧相容(generalized arc consistency,简称GA... 详细信息
来源: 评论
一种高效的FDE并行传播算法
收藏 引用
软件学报 2023年 第9期34卷 4153-4166页
作者: 李哲 于哲舟 李占山 吉林大学计算机科学与技术学院 吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012
约束规划(constraint programming, CP)是示和求解组合问题的经典范式之一.扩展约束(extensional constraint)或称约束(table constraint)是约束规划中最为常见的约束类型.绝大多数约束规划问题都可以用约束达.在问题求解时,相... 详细信息
来源: 评论
基于多元约束的相容性技术研究
基于多元表约束的相容性技术研究
收藏 引用
作者: 王震 吉林大学
学位级别:硕士
约束程序(Constraint Programming,CP)起源于1965年是人工智能中的一个重要的研究方向,主要用于求解组合搜索问题,随着研究的深入它被成功的应用在很多领域,例如:时间规划、调度、配置等。约束程序的主要思想是根据现实问题抽象出一个... 详细信息
来源: 评论