Yoichiro Iida

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)

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…