Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yoichiro Iida

dblp:332/2366 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2024
0009-0008-4937-1183ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 3 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automated reasoning and model checking · 67% Mathematical optimization · 33%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Performance modeling and evaluation · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Mathematical optimization
restart strategies
0.712023
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) · AAAI 2023
Automated reasoning and model checking
satisfiability
0.712023
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) · AAAI 2023
Automated reasoning and model checking › satisfiability › SAT solving
solver heuristics
0.712023
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) · AAAI 2023

Methods — techniques the papers use, named apart from their topics

search similarity index · 1.3
YearPublicationVenuePosition
2024 Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
SAT1
2023 Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)
abstract
SAT solvers are widely used to solve many industrial problems because of their high performance, which is achieved by various heuristic methods. Understanding why these methods are effective is essential to improving them. One approach to this is analyzing them using qualitative measurements. In our previous study, we proposed search similarity index (SSI), a metric to quantify the similarity between searches. SSI significantly improved the performance of the parallel SAT solver. Here, we apply SSI to analyze the effect of restart, a key SAT solver technique. Experiments using SSI reveal the correlation between the difficulty of instances and the search change effect by restart, and the reason behind the effectiveness of the state-of-the-art restart method is also explained.
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
AAAI1
2022 Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
PRICAI (1)1