TY - GEN T1 - Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma UR - http://dx.doi.org/10.1145/3636501.3636946 PY - 2023/09/30 AU - Edmonds C AU - Paulson LC ED - Y2 - 2024/12/23 ER -