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

Adam Yedidia

dblp:165/8581 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Algorithms and data structures
exact exponential algorithms
0.412020
Faster Random k-CNF Satisfiability · ICALP 2020
Automated reasoning and model checking
satisfiability
0.412020
Faster Random k-CNF Satisfiability · ICALP 2020

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

random assignment · 0.4local search · 0.4
YearPublicationVenuePosition
2020 Faster Random k-CNF Satisfiability
abstract
We 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
ICALP2
2015 Polylogarithmic Fully Retroactive Priority Queues via Hierarchical Checkpointing
Erik D. Demaine, Tim Kaler, Quanquan C. Liu, Aaron Sidford, Adam Yedidia
WADS5