Yoichiro Iida

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Similarity Index

Boolean Satisfiability

Parallel Search

Top Venues

Publications

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. SAT (2024)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. POS@SAT (2023)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). AAAI (2023)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Unleashing the Potential of Restart by Detecting the Search Stagnation. LION (2023)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. PRICAI (1) (2022)