Title: Speichereffizienter Aufbau Von Binären Entscheidungsdiagrammen