Sartaj Sahni, Atul Bhatt. The complexity of design automation problems. In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 402-411, ACM/IEEE, 1980. [doi]
Abstract is missing.