Lower Bounds on the Critical Density in the Hard Disk Model via Optimized Metrics.

Thomas P. Hayes Cristopher Moore Lower Bounds on the Critical Density in the Hard Disk Model via Optimized Metrics. 2014 abs/1407.1930 CoRR http://arxiv.org/abs/1407.1930 db/journals/corr/corr1407.html#HayesM14