Chelsea Edmonds Lawrence C. Paulson Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma. 132-146 2024 CPP https://doi.org/10.1145/3636501.3636946 conf/cpp/2024 db/conf/cpp/cpp2024.html#EdmondsP24