您的位置： 专家智库 > >

管利娜

作品数：2 被引量：3H指数：1
供职机构：中南大学信息科学与工程学院更多>>
发文基金：长江学者和创新团队发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

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

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 1篇点覆盖
  • 1篇固定参数可解
  • 1篇NP完全
  • 1篇NP完全问题
  • 1篇SAT问题
  • 1篇ALMOST
  • 1篇参数化
  • 1篇参数化算法

机构

  • 2篇中南大学

作者

  • 2篇管利娜
  • 1篇江国红
  • 1篇王建新

传媒

  • 1篇计算技术与自...

年份

  • 2篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
可满足性问题的研究综述被引量：3
2009年
对SAT问题及其各种约束子问题进行分类并给出具体定义,着重介绍常规SAT问题、最大可满足性问题(MAX-SAT)和参数化SAT问题的相关算法,并对参数算法中运用的技术进行分析和比较,提出一些SAT问题研究中值得关注的几个方面。
王建新管利娜江国红
关键词：NP完全问题
参数化可满足性问题的研究
可满足性问题（Satisfiability Problem，简称SAT Problem）是众多NP完全问题的“种子”，它是一类问题的难度标准，很多NP完全问题最终都可以转化为可满足性问题的求解。参数化的可满足性问题是重要...
管利娜
关键词：ALMOST参数化算法固定参数可解
文献传递
全选 清除 导出
共1页<1>
聚类工具0