SAT solvers are widely used to solve many industrial problems because of their high performance, which is achieved by various heuristic methods. Understanding why these methods effective essential improving them. One approach this analyzing them using qualitative measurements. In our previous study, we proposed search similarity index (SSI), a metric quantify the between searches. SSI significa...
