@inproceedings{TF:2018,
Author = {Abraham Temesgen Tibebu and Goerschwin Fey},
Title = {Augmenting All Solutions SAT Solving for Circuits with Structural Information.},
Year = {(2018).},
Note = {gfey, CE},
Howpublished = {18-999 TF:2018 DDECS},
Booktitle = {<em>IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)</em>}
}

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