Adam Yedidia

According to our database, Adam Yedidia authored at least 3 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Faster Random k-CNF Satisfiability.

Andrea Lincoln, Adam Yedidia

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2016

A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory.

Adam Yedidia, Scott Aaronson

Complex Syst., 2016

2015

Polylogarithmic Fully Retroactive Priority Queues via Hierarchical Checkpointing.

Erik D. Demaine, Tim Kaler, Quanquan C. Liu, Aaron Sidford, Adam Yedidia

Proceedings of the Algorithms and Data Structures - 14th International Symposium, 2015