您的位置： 专家智库 > >

国家自然科学基金(60911130013)

作品数：1 被引量：0H指数：0
相关作者：李厚银万武族许道云更多>>
相关机构：贵州大学更多>>
发文基金：国家自然科学基金贵州省科学技术基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇整数规划
  • 1篇线性规划
  • 1篇SAT问题

机构

  • 1篇贵州大学

作者

  • 1篇许道云
  • 1篇万武族
  • 1篇李厚银

传媒

  • 1篇计算机与数字...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
求解SAT问题的线性半定规划算法
2009年
将线性半定规划应用到SAT问题的求解过程中。首先将SAT实例转化为整数规划问题,然后松弛为线性规划模型,最后再转化为一般的线性半定规划模型去求解。用SDPA-M软件求解线性半定规划问题后,规定了如何根据目标函数值去判定SAT实例和当CNF公式可满足时如何根据最优指派的概率xi*(i=1,…,n)去进行变元赋值,以期求得该公式的可满足指派。上述算法不仅可以判定SAT问题,而且对于符合算法规定可满足的CNF公式皆可给出一个可满足指派。求解SAT问题的线性半定规划算法在文章中被描述并被给予相应算例。
李厚银许道云万武族
关键词：SAT问题整数规划线性规划
全选 清除 导出
共1页<1>
聚类工具0