Publications

Single-Variable Connectivity in Random $k$-SAT
A Counting and Sampling Lovász Local Lemma
Sink-free orientations: a local sampler with applications
Counting random k-SAT near the satisfiability threshold