本人研究sat求解器数据信息汇总
Posted yuweng1689
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了本人研究sat求解器数据信息汇总相关的知识,希望对你有一定的参考价值。
1.首先将输入cnf文件静态信息做统计
2.传播长度
3.从外部增加cmt文件和已知的求解结果inversionFile——代码见文件夹MY01allreadyTruSolver20191008
收获最大的是对输出输出等文件操作做到了驾轻就熟。
(1)增加了重启首变元的选取次数——check the the frequnt number of same first select Var on every restart
增设数据成员:restartVarUsedNum[i]
(2)每次冲突传播队列的长度
增设数据成员:propsize_queue //每次冲突传播队列的长度
增加相关统计量: startsN,conflictsN,decisionLit_AfterRestart,LitCmty,curAssignsRateC
以上是关于本人研究sat求解器数据信息汇总的主要内容,如果未能解决你的问题,请参考以下文章