Brian presented on the Moser-Tardos algorithm, a surprisingly simple and fast constructive algorithm for the k-SAT problem.
Previous: Causality: Models, Reasoning, and Inference
Jonathan gave a guest lecture on causality.
continue reading ❯