Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing

@inproceedings{pub8838,
    author = {

Fröhlich, Saman
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing},
    booktitle = {20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-20), February 8-9, Bremen, Germany},
    year = {2017}
}