基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题.相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能.评估结果表明,求解器最多能处理32000个变元/128000个子句的实例.相比当前同类型的求解器,其求解效率明显提高.
推荐文章
基于布尔可满足性的伪码捕获方法
伪码捕获
伪码相位同步
有序二叉判决图
布尔可满足性
基于布尔可满足性的逻辑电路等价性验证方法
设计验证
等价性验证
逻辑电路
布尔可满足性
合取范式
一种基于伪布尔可满足性FPGA布线算法
现场可编程门阵列
布尔可满足性
伪布尔可满足性
布线
基于几何规划的布尔可满足问题求解方法
布尔可满足性
拟物拟人算法(Solar)
几何规划
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 加强约束的布尔可满足硬件求解器
来源期刊 国防科技大学学报 学科 工学
关键词 现场可编程门阵列 布尔可满足性 加强约束 不完全算法
年,卷(期) 2018,(6) 所属期刊栏目 计算机科学与技术
研究方向 页码范围 105-111
页数 7页 分类号 TP391
字数 6326字 语种 中文
DOI 10.11887/j.cn.201806014
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 肖立权 国防科技大学计算机学院 17 79 4.0 8.0
2 张建民 国防科技大学计算机学院 11 15 2.0 3.0
3 黎铁军 国防科技大学计算机学院 13 39 4.0 6.0
4 马柯帆 国防科技大学计算机学院 3 0 0.0 0.0
5 周善祥 国防科技大学计算机学院 1 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (12)
共引文献  (10)
参考文献  (12)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1962(2)
  • 参考文献(1)
  • 二级参考文献(1)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(3)
  • 参考文献(2)
  • 二级参考文献(1)
2001(3)
  • 参考文献(1)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(2)
  • 参考文献(1)
  • 二级参考文献(1)
2009(1)
  • 参考文献(0)
  • 二级参考文献(1)
2010(2)
  • 参考文献(1)
  • 二级参考文献(1)
2012(1)
  • 参考文献(0)
  • 二级参考文献(1)
2013(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(2)
  • 参考文献(2)
  • 二级参考文献(0)
2016(1)
  • 参考文献(1)
  • 二级参考文献(0)
2018(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
现场可编程门阵列
布尔可满足性
加强约束
不完全算法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
国防科技大学学报
双月刊
1001-2486
43-1067/T
大16开
湖南省长沙市开福区德雅路109号
42-98
1956
chi
出版文献量(篇)
3593
总下载数(次)
5
总被引数(次)
31889
论文1v1指导