Automated Theorem Proving for Hexagonal Run Length Constrained Capacity Computation.

Zsolt Kukorelly, Kenneth Zeger

Browse the full ISIT paper archive.