您的位置： 专家智库 > >

吴昊

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

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

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

机构

  • 2篇广西民族大学

作者

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

传媒

  • 1篇计算机工程与...
  • 1篇广西民族大学...

年份

  • 1篇2015
  • 1篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种结合CCgscore算法的SMT求解技术
2015年
提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.
连召洋靳庆庚谷涛吴昊
基于几何规划的布尔可满足问题求解方法
2013年
布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值。
何安平吴尽昭梁艺熊玲芳吴昊
关键词：布尔可满足性
全选 清除 导出
共1页<1>
聚类工具0