@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 = {IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)}
}

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