本人研究sat求解器数据信息汇总

标签：first   start   sam   psi   use   conflict   ash   ras   mda   

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求解器数据信息汇总

标签：first   start   sam   psi   use   conflict   ash   ras   mda   

原文地址：https://www.cnblogs.com/yuweng1689/p/12989003.html