Title: Datenstrukturen und Effiziente Algorithmen Für Die Logiksynthese Kombinatorischer Schaltungen