David Gregory, Karen A. Bartlett, Aart J. de Geus, Gary D. Hachtel
SOCRATES: a system for automatically synthesizing and optimizing combinational logic
DAC, 1986.
@inproceedings{DAC-1986-GregoryBGH,
author = "David Gregory and Karen A. Bartlett and Aart J. de Geus and Gary D. Hachtel",
booktitle = "{Proceedings of the 23rd Design Automation Conference}",
doi = "10.1145/318013.318026",
pages = "79--85",
publisher = "{IEEE Computer Society Press}",
title = "{SOCRATES: a system for automatically synthesizing and optimizing combinational logic}",
year = 1986,
}