Automated Theorem Proving for Hexagonal Run Length Constrained Capacity Computation | IEEE Conference Publication | IEEE Xplore