Login / Signup
Yoichiro Iida
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Search Strategies
Boolean Satisfiability
Similarity Index
Sat Solvers
Top Venues
PRICAI (1)
AAAI
POS@SAT
LION
</>
Publications
</>
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)