Iida, Y.; Sonobe, T.; Inaba, M. Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). AAAI 2024, 37, 16236-16237.