本人研究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求解器数据信息汇总的主要内容，如果未能解决你的问题，请参考以下文章