ILP-basierte Mikroarchitektur-Synthese mit komplexen Bausteinbibliotheken - Wege zu kleineren und schnelleren Schaltungen unter Einsatz algebraischer Optimierung