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

SAT求解器快速入门

sat求解器是一个大数据系统

使用 DPLL sat 求解器求解

Dafny 作为 SAT-QBF 求解器没有给出正确的结果

IntVar 的域会影响 CP-SAT 求解器的性能吗

Or-Tools CP-SAT 求解器导出/导入:加载模型后如何访问变量?