H. Nelson Brady, Robert J. Smith II. Verification and optimization for LSI & PCB layout. In Robert J. Smith II, editor, Proceedings of the 18th Design Automation Conference, DAC '81, Nashville, Tennessee, USA, June 29 - July 1, 1981. pages 365-371, ACM/IEEE, 1981. [doi]
Abstract is missing.