Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito. An interactive logic synthesis system based upon AI techniques. In James S. Crabbe, Charles E. Radke, Hillel Ofek, editors, Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982. pages 858-864, ACM/IEEE, 1982. [doi]
Abstract is missing.