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]
@inproceedings{KawatoUHS82,
title = {An interactive logic synthesis system based upon AI techniques},
author = {Nobuaki Kawato and Takao Uehara and Sadaki Hirose and Takao Saito},
year = {1982},
doi = {10.1145/800263.809300},
url = {http://doi.acm.org/10.1145/800263.809300},
researchr = {https://researchr.org/publication/KawatoUHS82},
cites = {0},
citedby = {0},
pages = {858-864},
booktitle = {Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982},
editor = {James S. Crabbe and Charles E. Radke and Hillel Ofek},
publisher = {ACM/IEEE},
isbn = {0-89791-020-6},
}