您的位置： 专家智库 > >

徐成刚

作品数：2 被引量：5H指数：1
供职机构：北京化工大学更多>>
发文基金：教育部留学回国人员科研启动基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇引擎
  • 1篇约束逻辑程序...
  • 1篇数学
  • 1篇数学建模
  • 1篇搜索
  • 1篇搜索引擎
  • 1篇索引
  • 1篇排课
  • 1篇逻辑程序
  • 1篇逻辑程序设计
  • 1篇SAT问题
  • 1篇程序设计

机构

  • 2篇北京化工大学

作者

  • 2篇徐成刚
  • 1篇肖洋
  • 1篇易军凯

传媒

  • 1篇计算机工程与...

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于约束逻辑程序设计的排课算法研究被引量：5
2006年
课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。
徐成刚易军凯肖洋
关键词：排课约束逻辑程序设计
可满足性问题的约束规划算法研究
可满足性问题/(简称SAT问题/)是NP-hard问题，它是当前运筹学、人工智能和计算机科学的热点领域，解决SAT问题具有突出的理论价值和应用价值。解决SAT问题的传统算法往往要占用很长时间和大量的内存，而最后往往还不能...
徐成刚
关键词：SAT问题搜索引擎数学建模
文献传递
全选 清除 导出
共1页<1>
聚类工具0