@inproceedings{REF:2017,
Author = {Heinz Riener and Rüdiger Ehlers and Goerschwin Fey},
Title = {CEGAR-Based EF Synthesis of Boolean Functions with an Application to Circuit Rectification.},
Year = {(2017).},
Pages = {251-256},
Note = {gfey, CE},
Howpublished = {17-999 REF:2017 ASPDAC},
Booktitle = {<em>ASP Design Automation Conference (ASPDAC)</em>}
}

@COMMENT{Bibtex file generated on 2026-5-15 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }