Analysis of incomplete circuits using dependency quantified Boolean formulas

Bibliographische Detailangaben

Veröffentlicht in:	Advanced logic synthesis
1. Verfasser:	Wimmer, Ralf (VerfasserIn)
Weitere Verfasser:	Wimmer, Karina (VerfasserIn), Scholl, Christoph (VerfasserIn), Becker, Bernd (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2018
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!