Witness Trees in the Moser–Tardos Algorithmic Lovász Local Lemma and Penrose Trees in the Hard-Core Lattice Gas
Crossref DOI link: https://doi.org/10.1007/s10955-014-1054-3
Published Online: 2014-07-02
Published Print: 2014-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Alves, Rogério Gomes
Procacci, Aldo
Text and Data Mining valid from 2014-07-02