Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito
An interactive logic synthesis system based upon AI techniques
DAC, 1982.
@inproceedings{DAC-1982-KawatoUHS,
author = "Nobuaki Kawato and Takao Uehara and Sadaki Hirose and Takao Saito",
booktitle = "{Proceedings of the 19th Design Automation Conference}",
doi = "10.1145/800263.809300",
pages = "858--864",
publisher = "{ACM/IEEE}",
title = "{An interactive logic synthesis system based upon AI techniques}",
year = 1982,
}