.png){kind=icon}
返回
Improving SAT Solver Performance with Structure-based Preferential Bumping
.png){kind=icon}
OA
AI
DOI：10.29007/3pxg.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We present a method we call structure-based preferential bumping,as a low-cost way to exploit formula structure in VSIDS-based SAT solvers.We show that the Glucose SAT solver, when modified with preferential bumpingof certain easily identified structurally important variables,out-performs unmodified Glucose on the industrial formulasfrom recent SAT solver competitions.
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息