您的位置: 专家智库 > >

美国国家科学基金(CCR-0306298)

作品数:1 被引量:3H指数:1
相关作者:周晓方荆明娥唐璞山周电更多>>
相关机构:复旦大学更多>>
发文基金:中国博士后科学基金上海市自然科学基金美国国家科学基金更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇SAT问题
  • 1篇DPLL

机构

  • 1篇复旦大学

作者

  • 1篇周电
  • 1篇唐璞山
  • 1篇荆明娥
  • 1篇周晓方

传媒

  • 1篇中国科学(E...

年份

  • 1篇2007
1 条 记 录,以下是 1-1
排序方式:
启发式极性决策算法解SAT问题被引量:3
2007年
提出了一种启发式极性决策的可满足性问题(SAT)新算法.该算法继承了当前SAT解决器的许多策略:快速BCP、子句记录、重启动搜索等.同时,该算法通过预先根据Karnaugh图的覆盖分布计算变量极性,将其加入到DPLL的决策过程中,大大降低了搜索过程中的冲突次数.实验表明采用该算法的解决器——DiffSat,能够解决许多目前最有效的解决器Zchaff和MiniSat所不能解决的实例.尤其是对于Bart基准系列中的每个实例,DiffSat都能够在0.03s内解决,而Zchaff和MiniSat在给定的900s内不能够解决大部分实例.而且,DiffSat解决器在某些实例上的特性远远优于具有代表性的基于不完全随机算法的解决器DLM.
荆明娥周电唐璞山周晓方张华
关键词:DPLL
共1页<1>
聚类工具0