Zsolt Kukorelly, Kenneth Zeger. Automated Theorem Proving for Hexagonal Run Length Constrained Capacity Computation. In Proceedings 2006 IEEE International Symposium on Information Theory, ISIT 2006, The Westin Seattle, Seattle, Washington, USA, July 9-14, 2006. pages 1199-1203, IEEE, 2006. [doi]
Abstract is missing.