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/26

ER  -