Y. Iida, T. Sonobe, and M. Inaba, “Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)”, AAAI, vol. 37, no. 13, pp. 16236–16237, Jul. 2024.