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 |
Be the first to leave a comment!
