Witness Trees in the Moser-Tardos Algorithmic Lovász Local Lemma and Penrose Trees in the Hard-Core Lattice Gas.
Saved in:
| Title: | Witness Trees in the Moser-Tardos Algorithmic Lovász Local Lemma and Penrose Trees in the Hard-Core Lattice Gas. |
|---|---|
| Authors: | Alves, Rogério1 rgalves@iceb.ufop.br, Procacci, Aldo2 aldo@mat.ufmg.br |
| Source: | Journal of Statistical Physics. Sep2014, Vol. 156 Issue 5, p877-895. 19p. |
| Database: | Academic Search Ultimate |
| ISSN: | 00224715 |
|---|---|
| DOI: | 10.1007/s10955-014-1054-3 |
