您的位置： 专家智库 > >

陈爱华

作品数：1 被引量：0H指数：0
供职机构：北京邮电大学理学院更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自然科学总论更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自然科学总论

主题

  • 1篇求解器
  • 1篇命题逻辑

机构

  • 1篇北京邮电大学
  • 1篇吉林大学

作者

  • 1篇陈爱华
  • 1篇吕帅
  • 1篇刘磊
  • 1篇张鹏

传媒

  • 1篇华中科技大学...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
智能规划的逻辑编码求解性能分析
2012年
将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率.
陈爱华吕帅刘磊张鹏
关键词：命题逻辑
全选 清除 导出
共1页<1>
聚类工具0