Demo Data from SIGIR 2026 / reviewers in the wild / expert
Yoichiro Iida
dblp:332/2366
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Mathematical optimization
restart strategies |
0.7 | 1 | 2023 | Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) · AAAI 2023 |
Automated reasoning and model checking
satisfiability |
0.7 | 1 | 2023 | Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) · AAAI 2023 |
Automated reasoning and model checking › satisfiability › SAT solving
solver heuristics |
0.7 | 1 | 2023 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
SAT | 1 |
| 2023 | Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)abstractSAT 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 |
AAAI | 1 |
| 2022 | Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
PRICAI (1) | 1 |