A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic
1986
23rd ACM/IEEE Design Automation Conference
This paper presents SOCRATES,
doi:10.1109/dac.1986.1586072
fatcat:gzxx7an4z5ajld7ljb25pn52ga