Title: Effiziente Kompaktierungsverfahren für den symbolischen Schaltungsentwurf und für die Reskalierung von Masken-Layouts