您的位置： 专家智库 > >

梁艺

作品数：1 被引量：0H指数：0
供职机构：广西民族大学更多>>
发文基金：广西教育厅科研项目广西壮族自治区自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇拟人算法
  • 1篇拟物
  • 1篇拟物拟人算法
  • 1篇可满足性
  • 1篇SOLAR
  • 1篇布尔可满足性

机构

  • 1篇广西民族大学

作者

  • 1篇吴尽昭
  • 1篇何安平
  • 1篇熊玲芳
  • 1篇吴昊
  • 1篇梁艺

传媒

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

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于几何规划的布尔可满足问题求解方法
2013年
布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值。
何安平吴尽昭梁艺熊玲芳吴昊
关键词：布尔可满足性
全选 清除 导出
共1页<1>
聚类工具0