SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

D. Gregory, A. de Geus, K. Bartlett, G. Hachtel
1986 23rd ACM/IEEE Design Automation Conference  
This paper presents SOCRATES,
doi:10.1109/dac.1986.1586072 fatcat:gzxx7an4z5ajld7ljb25pn52ga