Iida, Y. et al. 2024. Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence. 37, 13 (Jul. 2024), 16236–16237. DOI:https://doi.org/10.1609/aaai.v37i13.26978.