2023
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)
AAAI 2023technical
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 are effective is essential to improving them. One approach to this is analyzing them using qualitative measurements. In our…