Iida, Yoichiro, Tomohiro Sonobe, and Mary Inaba. 2024. “Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (13):16236-37. https://doi.org/10.1609/aaai.v37i13.26978.