Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen | lit.salon