Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-LogikprogrammierungRenate BeckmannSold out4.3Track