Citation:
Alves RG, Procacci A. Witness Trees in the Moser-Tardos Algorithmic Lovász Local Lemma and Penrose Trees in the Hard-Core Lattice Gas. Journal of Statistical Physics [Internet]. 2014;156:877-895.
ICEB 3 - sala 2-03
email: rgalves@ufop.edu.br / tel: +55 31 3559-1341