Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen