%0 Conference Paper %1 conf/dac/GregoryBGH86 %A Gregory, David %A Bartlett, Karen A. %A de Geus, Aart J. %A Hachtel, Gary D. %B DAC %D 1986 %E Thomas, Don %I IEEE Computer Society Press %K dblp %P 79-85 %T SOCRATES: a system for automatically synthesizing and optimizing combinational logic. %U http://dblp.uni-trier.de/db/conf/dac/dac1986.html#GregoryBGH86

@inproceedings{conf/dac/GregoryBGH86, added-at = {2018-11-06T00:00:00.000+0100}, author = {Gregory, David and Bartlett, Karen A. and de Geus, Aart J. and Hachtel, Gary D.}, biburl = {https://www.bibsonomy.org/bibtex/23eb1a944a1a77b240007c1af650ceaa6/dblp}, booktitle = {DAC}, crossref = {conf/dac/1986}, editor = {Thomas, Don}, ee = {https://doi.org/10.1145/318013.318026}, interhash = {57ef70427758a92d3742e8ad7903f52b}, intrahash = {3eb1a944a1a77b240007c1af650ceaa6}, keywords = {dblp}, pages = {79-85}, publisher = {IEEE Computer Society Press}, timestamp = {2018-11-07T16:13:50.000+0100}, title = {SOCRATES: a system for automatically synthesizing and optimizing combinational logic.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1986.html#GregoryBGH86}, year = 1986 }