Symbolically Synthesizing Small Circuits (bibtex)
by Rüdiger Ehlers, Robert Könighofer, Georg Hofferek
Reference:
Symbolically Synthesizing Small CircuitsRüdiger Ehlers, Robert Könighofer, Georg HofferekProceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), pages 91 - 100, 2012.
Bibtex Entry:
@inproceedings{EKH12,
title = {Symbolically Synthesizing Small Circuits},
url = {/pubpdf/Symbolically_Synthesizing_Small_Circuits.pdf},
booktitle = {Proceedings of the 12th Conference on Formal Methods in Computer-Aided
Design (FMCAD 2012)},
author = {R\"{u}diger Ehlers and Robert K\"{o}nighofer and Georg Hofferek},
year = {2012},
pages = {91 - 100},
}
Powered by bibtexbrowser