SOCRATES: A system for automatically synthesizing and optimizing combinational logic

D. Gregory, K. Bartlett, A. deGeus, G. Hachtel
1988 Papers on Twenty-five years of electronic design automation - 25 years of DAC  
This paper presents SOCRATES,
doi:10.1145/62882.62952 fatcat:uzuz4gnhrvdevkueq5apqy2tfa