位置：成果数据库 > 期刊 > 期刊详情页
启发式极性决策算法解SAT问题
  • ISSN号：1006-9275Call Number: 11-3757/N
  • 期刊名称：中国科学(E辑:信息科学)
  • 时间：0
  • 页码：1597-1606
  • 语言：中文
  • 相关项目：EDA形式验证中可满足性(SAT)问题的算法研究
作者： 张华|周晓方|周电|荆明娥|唐璞山|
同期刊论文项目
EDA形式验证中可满足性(SAT)问题的算法研究
期刊论文 7 会议论文 3
同项目期刊论文
一般变分不等式的一个新的下降投影算法
一个基于离散填充函数的整数线性规划方法
Solving SAT problem by heuristic polarity decision-making algorithm
一般变分不等式的一个新的下降投影算法(英文)
一种考虑集中约束的平面布图规划算法
一种用于H.264编解码的新型高效可重构多变换VLSI结构