TY  - CONF

T1  - Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma

JO  - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs

UR  - http://dx.doi.org/10.1145/3636501.3636946

PY  - 2024/01/09

AU  - Edmonds C

AU  - Paulson LC

ED  - 

DO  - DOI: 10.1145/3636501.3636946

PB  - ACM

Y2  - 2024/12/26

ER  -