Adam Yedidia

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Conjunctive Normal Form

Quantified Boolean Formulas

Top Venues

Publications

Andrea Lincoln, Adam Yedidia
Faster Random k-CNF Satisfiability. ICALP (2020)
Andrea Lincoln, Adam Yedidia
Faster Random k-CNF Satisfiability. CoRR (2019)
Adam Yedidia, Scott Aaronson
A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory. Complex Syst. 25 (4) (2016)
Adam Yedidia, Scott Aaronson
A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory. CoRR (2016)
Erik D. Demaine, Tim Kaler, Quanquan C. Liu, Aaron Sidford, Adam Yedidia
Polylogarithmic Fully Retroactive Priority Queues via Hierarchical Checkpointing. WADS (2015)