Iida Y, Sonobe T, Inaba M. Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). AAAI [Internet]. 2024 Jul. 15 [cited 2026 May 18];37(13):16236-7. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26978