Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (PRICAI (1), 2022)

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (AAAI, 2023)

Unleashing the Potential of Restart by Detecting the Search Stagnation. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (LION, 2023)

An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (POS@SAT, 2023)

WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph Structure. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (LION, 2024)

Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (SAT, 2024)