Demo Data from EDBT 2026 / reviewers in the wild / expert
Adam Yedidia
dblp:165/8581
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 2020
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2
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 · 50% Algorithms and data structures · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Algorithms and data structures
exact exponential algorithms |
0.4 | 1 | 2020 | Faster Random k-CNF Satisfiability · ICALP 2020 |
Automated reasoning and model checking
satisfiability |
0.4 | 1 | 2020 | Faster Random k-CNF Satisfiability · ICALP 2020 |
Methods — techniques the papers use, named apart from their topics
random assignment · 0.4local search · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Faster Random k-CNF SatisfiabilityabstractWe describe an algorithm to solve the problem of Boolean CNF-Satisfiability when the input formula is chosen randomly. We build upon the algorithms of Sch{ö}ning 1999 and Dantsin et al.~in 2002. The Sch{ö}ning algorithm works by trying many possible random assignments, and for each one searching systematically in the neighborhood of that assignment for a satisfying solution. Previous algorithms for this problem run in time $O(2^{n (1- Ω(1)/k)})$. Our improvement is simple: we count how many clauses are satisfied by each randomly sampled assignment, and only search in the neighborhoods of assignments with abnormally many satisfied clauses. We show that assignments like these are significantly more likely to be near a satisfying assignment. This improvement saves a factor of $2^{n Ω(\lg^2 k)/k}$, resulting in an overall runtime of $O(2^{n (1- Ω(\lg^2 k)/k)})$ for random $k$-SAT. Andrea Lincoln, Adam Yedidia |
ICALP | 2 |
| 2015 | Polylogarithmic Fully Retroactive Priority Queues via Hierarchical Checkpointing
Erik D. Demaine, Tim Kaler, Quanquan C. Liu, Aaron Sidford, Adam Yedidia |
WADS | 5 |