@misc{misc, title = {{Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma}}, url = {{http://dx.doi.org/10.1145/3636501.3636946 }}, year = {{2023}}, month = {{9}}, author = {{Edmonds C and Paulson LC}}, note = {{Accessed on 2024/12/26}}}