All Stories

  1. Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma

    Article • January 2024, ACM (Association for Computing Machinery)

    Chelsea Edmonds, Professor Lawrence Charles Paulson